Trace number 4498268

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 2025-06-06SAT (TO)82 3600.33 3605.63

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
MD5SUM8deb0b9174477a1f2aeb72dadb0281d2
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB25.v20250606
0.08/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.08/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.08/0.12	c java.vm.version	22.0.1+8-16
0.08/0.12	c java.vm.vendor	Oracle Corporation
0.08/0.12	c sun.arch.data.model	64
0.08/0.12	c java.version		22.0.1
0.08/0.12	c os.name		Linux
0.08/0.12	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.08/0.12	c os.arch		amd64
0.08/0.12	c Free memory 		2104792832
0.08/0.12	c Max memory 		16282288128
0.08/0.12	c Total memory 		2113929216
0.08/0.12	c Number of processors 	2
0.08/0.16	c Pseudo Boolean Optimization by upper bound
0.08/0.16	c --- Begin Solver configuration ---
0.08/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.08/0.16	c Learn all clauses as in MiniSAT
0.08/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.16	c Expensive reason simplification
0.08/0.16	c Glucose 2.1 dynamic restart strategy
0.08/0.16	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.08/0.16	c timeout=2147483s
0.08/0.16	c DB Simplification allowed=false
0.08/0.16	c Listener: none
0.08/0.16	c --- End Solver configuration ---
0.08/0.16	c solving HOME/instance-4498268-1751275470.opb
0.08/0.16	c reading problem ... 
0.08/0.16	c  objective function found
0.26/0.28	c ... done. Wall clock time 0.123s.
0.26/0.28	c declared #vars     500
0.26/0.28	c internal #vars     6828
0.26/0.28	c #constraints  13156
0.26/0.28	c constraints type 
0.26/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
0.26/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6828
0.26/0.28	c 13156 constraints processed.
0.26/0.30	c objective function length is 500 literals
0.46/0.33	c SATISFIABLE
0.46/0.33	c OPTIMIZING...
0.46/0.33	c Got one! Elapsed wall clock time (in seconds):0.172
0.46/0.33	o 83
0.46/0.38	c Got one! Elapsed wall clock time (in seconds):0.223
0.46/0.38	o 82
2.30/1.39	c cleaning 2550 clauses out of 5118 with flag 11029/5118
6.60/5.51	c cleaning 4282 clauses out of 8567 with flag 28263/11117
11.41/10.39	c cleaning 5632 clauses out of 11285 with flag 47258/18117
17.10/16.07	c cleaning 6811 clauses out of 13657 with flag 69450/26121
23.34/22.20	c cleaning 7918 clauses out of 15843 with flag 95075/35118
30.32/29.24	c cleaning 8961 clauses out of 17925 with flag 123279/45118
37.80/36.73	c cleaning 9964 clauses out of 19965 with flag 156053/56119
45.89/44.82	c cleaning 10987 clauses out of 21999 with flag 192986/68117
55.08/54.02	c cleaning 11989 clauses out of 24012 with flag 230129/81117
64.46/63.46	c cleaning 13003 clauses out of 26024 with flag 269489/95118
74.64/73.69	c cleaning 13995 clauses out of 28020 with flag 311894/110117
85.61/84.69	c cleaning 15001 clauses out of 30025 with flag 357154/126117
96.63/95.63	c cleaning 15987 clauses out of 32024 with flag 409500/143117
108.45/107.42	c cleaning 16996 clauses out of 34037 with flag 462943/161117
121.26/120.22	c cleaning 18012 clauses out of 36041 with flag 518477/180117
135.43/134.48	c cleaning 19006 clauses out of 38029 with flag 575717/200117
150.39/149.42	c cleaning 20006 clauses out of 40024 with flag 635268/221118
166.26/165.32	c cleaning 21002 clauses out of 42017 with flag 694181/243117
182.72/181.85	c cleaning 21998 clauses out of 44015 with flag 758284/266117
199.60/198.70	c cleaning 23007 clauses out of 46017 with flag 822333/290117
217.16/216.30	c cleaning 23991 clauses out of 48010 with flag 891653/315117
235.62/234.80	c cleaning 25002 clauses out of 50022 with flag 960584/341120
254.68/253.97	c cleaning 25995 clauses out of 52017 with flag 1035986/368117
274.67/273.92	c cleaning 26999 clauses out of 54023 with flag 1114322/396118
295.12/294.43	c cleaning 27990 clauses out of 56023 with flag 1192340/425117
315.57/314.94	c cleaning 29001 clauses out of 58033 with flag 1276644/455117
337.94/337.34	c cleaning 30010 clauses out of 60032 with flag 1362858/486117
360.60/360.06	c cleaning 31009 clauses out of 62023 with flag 1450678/518118
383.94/383.45	c cleaning 31988 clauses out of 64013 with flag 1542435/551117
407.52/407.04	c cleaning 33003 clauses out of 66025 with flag 1636100/585117
432.36/431.97	c cleaning 33997 clauses out of 68022 with flag 1731538/620117
457.90/457.53	c cleaning 34999 clauses out of 70025 with flag 1833657/656117
484.97/484.66	c cleaning 36000 clauses out of 72026 with flag 1939556/693117
512.01/511.79	c cleaning 36999 clauses out of 74027 with flag 2044115/731118
539.96/539.76	c cleaning 38008 clauses out of 76027 with flag 2153836/770117
567.70/567.50	c cleaning 38992 clauses out of 78019 with flag 2265354/810117
595.84/595.70	c cleaning 40008 clauses out of 80027 with flag 2379169/851117
625.69/625.63	c cleaning 41001 clauses out of 82021 with flag 2494760/893119
656.23/656.29	c cleaning 41995 clauses out of 84018 with flag 2616930/936117
687.89/687.95	c cleaning 42994 clauses out of 86024 with flag 2738095/980118
719.32/719.42	c cleaning 43995 clauses out of 88029 with flag 2860492/1025117
751.08/751.23	c cleaning 44999 clauses out of 90034 with flag 2987529/1071117
783.70/783.92	c cleaning 46012 clauses out of 92035 with flag 3119006/1118117
817.35/817.69	c cleaning 47006 clauses out of 94023 with flag 3257906/1166117
851.79/852.19	c cleaning 48002 clauses out of 96018 with flag 3397336/1215118
888.32/888.72	c cleaning 48987 clauses out of 98015 with flag 3535037/1265117
924.55/925.07	c cleaning 49998 clauses out of 100028 with flag 3678707/1316117
961.36/961.91	c cleaning 50997 clauses out of 102031 with flag 3824221/1368118
999.43/1000.07	c cleaning 52010 clauses out of 104033 with flag 3972213/1421117
1038.24/1038.98	c cleaning 53001 clauses out of 106023 with flag 4119507/1475117
1077.08/1077.80	c cleaning 53991 clauses out of 108023 with flag 4274759/1530118
1116.49/1117.36	c cleaning 55002 clauses out of 110031 with flag 4431561/1586117
1156.90/1157.86	c cleaning 56004 clauses out of 112031 with flag 4587155/1643119
1198.75/1199.78	c cleaning 57004 clauses out of 114028 with flag 4754496/1701120
1241.15/1242.25	c cleaning 58014 clauses out of 116029 with flag 4919987/1760125
1285.36/1286.51	c cleaning 59003 clauses out of 118009 with flag 5085127/1820119
1330.07/1331.27	c cleaning 59996 clauses out of 120004 with flag 5256796/1881117
1374.45/1375.74	c cleaning 61000 clauses out of 122008 with flag 5426201/1943117
1418.55/1419.95	c cleaning 61993 clauses out of 124008 with flag 5595642/2006117
1463.89/1465.37	c cleaning 63001 clauses out of 126015 with flag 5768829/2070117
1509.87/1511.49	c cleaning 64001 clauses out of 128015 with flag 5948555/2135118
1556.76/1558.44	c cleaning 64998 clauses out of 130015 with flag 6128035/2201119
1603.54/1605.35	c cleaning 65984 clauses out of 132015 with flag 6306748/2268117
1652.18/1653.77	c cleaning 66999 clauses out of 134035 with flag 6487243/2336121
1701.16/1702.86	c cleaning 68001 clauses out of 136032 with flag 6678532/2405117
1751.45/1753.26	c cleaning 69014 clauses out of 138031 with flag 6876059/2475117
1803.15/1805.05	c cleaning 70004 clauses out of 140019 with flag 7084202/2546119
1855.68/1857.65	c cleaning 71000 clauses out of 142013 with flag 7287525/2618117
1908.36/1910.41	c cleaning 71992 clauses out of 144013 with flag 7493639/2691117
1961.65/1963.81	c cleaning 72992 clauses out of 146021 with flag 7699225/2765117
2015.52/2017.81	c cleaning 74012 clauses out of 148029 with flag 7911629/2840117
2070.90/2073.35	c cleaning 74990 clauses out of 150017 with flag 8129263/2916117
2125.98/2128.59	c cleaning 76006 clauses out of 152027 with flag 8344076/2993117
2182.71/2185.32	c cleaning 76987 clauses out of 154021 with flag 8562225/3071117
2238.87/2241.68	c cleaning 78005 clauses out of 156034 with flag 8779413/3150117
2296.64/2299.52	c cleaning 79000 clauses out of 158029 with flag 9000942/3230117
2355.02/2358.09	c cleaning 80016 clauses out of 160033 with flag 9226910/3311121
2413.34/2416.40	c cleaning 80988 clauses out of 162013 with flag 9448913/3393117
2471.11/2474.34	c cleaning 81995 clauses out of 164025 with flag 9680280/3476117
2530.29/2533.61	c cleaning 82998 clauses out of 166030 with flag 9915039/3560117
2590.25/2593.70	c cleaning 83984 clauses out of 168032 with flag 10152560/3645117
2650.81/2654.35	c cleaning 85009 clauses out of 170048 with flag 10392496/3731117
2713.37/2717.05	c cleaning 86006 clauses out of 172039 with flag 10642970/3818117
2775.34/2779.13	c cleaning 87015 clauses out of 174033 with flag 10891652/3906117
2839.09/2843.01	c cleaning 87992 clauses out of 176018 with flag 11144172/3995117
2902.65/2906.71	c cleaning 88999 clauses out of 178026 with flag 11389530/4085117
2966.90/2971.13	c cleaning 89999 clauses out of 180027 with flag 11641382/4176117
3030.35/3034.76	c cleaning 90997 clauses out of 182031 with flag 11898763/4268120
3095.46/3100.00	c cleaning 91998 clauses out of 184032 with flag 12157428/4361118
3160.82/3165.43	c cleaning 92994 clauses out of 186033 with flag 12413527/4455117
3225.78/3230.51	c cleaning 94002 clauses out of 188043 with flag 12670354/4550121
3293.23/3298.19	c cleaning 95012 clauses out of 190037 with flag 12931894/4646117
3360.68/3365.76	c cleaning 95989 clauses out of 192025 with flag 13197461/4743117
3428.63/3433.85	c cleaning 96986 clauses out of 194037 with flag 13463726/4841118
3496.98/3502.34	c cleaning 98002 clauses out of 196050 with flag 13735567/4940117
3564.95/3570.38	c cleaning 98997 clauses out of 198048 with flag 14011234/5040117
3600.08/3605.51	c starts		: 4
3600.08/3605.52	c conflicts		: 5093183
3600.08/3605.52	c decisions		: 13306680
3600.08/3605.52	c propagations		: 9243753746
3600.08/3605.52	c inspects		: 41353838473
3600.08/3605.53	c shortcuts		: 0
3600.08/3605.53	c learnt literals	: 0
3600.08/3605.53	c learnt binary clauses	: 0
3600.08/3605.53	c learnt ternary clauses	: 0
3600.08/3605.53	c learnt constraints	: 5093183
3600.08/3605.53	c ignored constraints	: 0
3600.08/3605.53	c root simplifications	: 0
3600.08/3605.53	c removed literals (reason simplification)	: 184814
3600.08/3605.53	c reason swapping (by a shorter reason)	: 0
3600.08/3605.53	c Calls to reduceDB	: 96
3600.08/3605.53	c Number of update (reduction) of LBD	: 1450018
3600.08/3605.53	c Imported unit clauses	: 0
3600.08/3605.53	c No decision after first conflict	: false
3600.08/3605.53	c number of reductions to clauses (during analyze)	: 0
3600.08/3605.53	c number of learned constraints concerned by reduction	: 0
3600.08/3605.53	c number of learning phase by resolution	: 0
3600.08/3605.53	c number of learning phase by cutting planes	: 0
3600.08/3605.53	c number of rounding to 1 operations	: 0
3600.08/3605.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3605.53	c number of reductions of the coefficients by power 2 	: 0
3600.08/3605.53	c number of right shift for reduction by power 2 	: 0
3600.08/3605.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3605.53	c number of ending skipping 	: 0
3600.08/3605.53	c number of internal skipping 	: 0
3600.08/3605.53	c number of derivation steps 	: 0
3600.08/3605.54	c number of skipped derivation steps 	: 0
3600.08/3605.54	c number of remaining unassigned 	: 0
3600.08/3605.54	c number of remaining assigned 	: 0
3600.08/3605.54	c number of falsified literals weakened from reason	: 0
3600.08/3605.54	c number of falsified literals weakened from conflict	: 0
3600.08/3605.54	c time for arithmetic operations	: 0
3600.08/3605.54	c minimum degree of deleted constraints	: null
3600.08/3605.54	c maximum degree of deleted constraints	: null
3600.08/3605.54	c number of deleted constraints	: 0
3600.08/3605.55	c speed (assignments/second)	: 2563980.2071209764
3600.08/3605.55	c non guided choices	: 1
3600.28/3605.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 152117
3600.28/3605.60	s SATISFIABLE
3600.28/3605.60	c Found 2 solution(s)
3600.28/3605.61	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 
3600.28/3605.61	c objective function=82
3600.28/3605.62	c Total wall clock time (in seconds): 3605.459

Verifier Data 

OK	82

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: 63708 MiB (62046 MiB free)
  memory of node 1: 64465 MiB (63948 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498268-1751275470/watcher-4498268-1751275470 -o /tmp/evaluation-result-4498268-1751275470/solver-4498268-1751275470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751275470-44424 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498268-1751275470.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44470, runsolver pid=44464

[startup+0.100059 s]*
/proc/loadavg: 2.71 3.05 3.15 9/333 44551
/proc/meminfo: memFree=128967036/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18930384 memory=51804 CPUtime=0.08 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 5961 0 238 0 7 1 0 0 20 0 18 0 43224565 19384713216 12951 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4732596 12951 5325 1 0 547212 0
[pid=44470/tid=44484] ppid=44464 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 4772 0 238 0 4 1 0 0 20 0 18 0 43224568 19384713216 12951 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18930384 memory=14860 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43224570 19384713216 12951 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43224571 19384713216 12951 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51804 KiB

[startup+0.205675 s]*
/proc/loadavg: 2.71 3.05 3.15 14/334 44554
/proc/meminfo: memFree=128930792/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18930384 memory=61484 CPUtime=0.26 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 6814 0 238 0 24 2 0 0 20 0 18 0 43224565 19384713216 15371 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4732596 15371 5389 1 0 547861 0
[pid=44470/tid=44484] ppid=44464 vsize=18930384 memory=4026597495 CPUtime=0.14 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 5111 0 238 0 13 1 0 0 20 0 18 0 43224568 19384713216 15371 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18930384 memory=224227768548 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43224570 19384713216 15371 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18930384 memory=32823 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43224571 19384713216 15371 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61484 KiB

[startup+0.305594 s]*
/proc/loadavg: 2.71 3.05 3.15 8/315 44555
/proc/meminfo: memFree=128924496/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18931412 memory=81144 CPUtime=0.46 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 7779 0 238 0 43 3 0 0 20 0 19 0 43224565 19385765888 20286 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4732853 20286 5421 1 0 548364 0
[pid=44470/tid=44484] ppid=44464 vsize=18931412 memory=-6000919476984768619 CPUtime=0.23 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) S 44464 44470 43192 0 -1 4194368 5208 0 238 0 21 2 0 0 20 0 19 0 43224568 19385765888 20286 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18931412 memory=0 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19385765888 20286 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18931412 memory=0 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19385765888 20286 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18931412 memory=0 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (java) R 44464 44470 43192 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 43224596 19385765888 20286 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 2147221247 0 16800975 0 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18931412 KiB
Current children cumulated memory: 81144 KiB

[startup+0.700272 s]
/proc/loadavg: 2.71 3.05 3.15 8/316 44568
/proc/meminfo: memFree=128898176/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=97328 CPUtime=1.21 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 12014 0 238 0 116 5 0 0 20 0 19 0 43224565 19452874752 24332 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 24332 5453 1 0 551108 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=17664 CPUtime=0.59 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 5246 0 238 0 57 2 0 0 20 0 19 0 43224568 19452874752 24332 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19452874752 24332 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 24332 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224596 19452874752 24332 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97328 KiB

[startup+1.50022 s]
/proc/loadavg: 3.13 3.14 3.17 7/316 44568
/proc/meminfo: memFree=128870580/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=104052 CPUtime=2.57 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 17786 0 238 0 250 7 0 0 20 0 19 0 43224565 19452874752 26013 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 26013 5453 1 0 551696 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=0 CPUtime=1.37 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 6217 0 238 0 134 3 0 0 20 0 19 0 43224568 19452874752 26013 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19452874752 26013 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 26013 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224596 19452874752 26013 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104052 KiB

[startup+3.10465 s]
/proc/loadavg: 3.13 3.14 3.17 5/338 44627
/proc/meminfo: memFree=128805644/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=106196 CPUtime=4.2 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 18244 0 238 0 413 7 0 0 20 0 19 0 43224565 19452874752 26549 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 26549 5453 1 0 551696 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=10624 CPUtime=2.97 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 6393 0 238 0 294 3 0 0 20 0 19 0 43224568 19452874752 26549 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18996948 memory=-6000919489869670507 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19452874752 26549 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 26549 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224596 19452874752 26549 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106196 KiB

[startup+6.30015 s]
/proc/loadavg: 3.20 3.15 3.18 5/338 44627
/proc/meminfo: memFree=128785504/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=106524 CPUtime=7.41 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 20162 0 238 0 734 7 0 0 20 0 19 0 43224565 19452874752 26631 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 26631 5453 1 0 551700 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=0 CPUtime=6.16 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 7028 0 238 0 613 3 0 0 20 0 19 0 43224568 19452874752 26631 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19452874752 26631 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 26631 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18996948 memory=104052 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224596 19452874752 26631 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106524 KiB

[startup+12.7001 s]
/proc/loadavg: 3.27 3.16 3.18 5/338 44627
/proc/meminfo: memFree=128755840/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=114716 CPUtime=13.81 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 21617 0 238 0 1373 8 0 0 20 0 19 0 43224565 19452874752 28679 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 28679 5453 1 0 551700 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=104052 CPUtime=12.54 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 7633 0 238 0 1251 3 0 0 20 0 19 0 43224568 19452874752 28679 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19452874752 28679 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 28679 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18996948 memory=-6000919489869670507 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224596 19452874752 28679 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114716 KiB

[startup+25.5002 s]
/proc/loadavg: 3.38 3.19 3.19 5/338 44627
/proc/meminfo: memFree=128675260/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=129572 CPUtime=26.63 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 25188 0 238 0 2655 8 0 0 20 0 19 0 43224565 19452874752 32393 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 32393 5485 1 0 551700 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=-6000919489869670507 CPUtime=25.3 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 8841 0 238 0 2527 3 0 0 20 0 19 0 43224568 19452874752 32393 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=18996948 memory=121380 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224570 19452874752 32393 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=18996948 memory=104052 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 32393 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=18996948 memory=106524 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43224596 19452874752 32393 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 26.63 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129572 KiB

[startup+51.1047 s]
/proc/loadavg: 3.70 3.29 3.22 5/339 44628
/proc/meminfo: memFree=128546900/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=18996948 memory=160292 CPUtime=52.17 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 25342 0 238 0 5208 9 0 0 20 0 19 0 43224565 19452874752 40073 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4749237 40073 5485 1 0 551700 0
[pid=44470/tid=44484] ppid=44464 vsize=18996948 memory=154148 CPUtime=50.84 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 8903 0 238 0 5080 4 0 0 20 0 19 0 43224568 19452874752 40073 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/340 44809
/proc/meminfo: memFree=121689104/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3277.46 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 63943 0 238 0 327669 77 0 0 20 0 20 0 43224565 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 449064 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=10112 CPUtime=3272.92 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 26762 0 238 0 327280 12 0 0 20 0 20 0 43224568 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=1796256 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1367 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3277.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/339 44811
/proc/meminfo: memFree=121688644/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3337.33 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 64440 0 238 0 333655 78 0 0 20 0 20 0 43224565 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 449064 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3332.78 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 27184 0 238 0 333266 12 0 0 20 0 20 0 43224568 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=1796256 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=1796256 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1367 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3337.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/340 44814
/proc/meminfo: memFree=121676824/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3397.21 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 65177 0 238 0 339642 79 0 0 20 0 20 0 43224565 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 449064 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3392.64 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 27776 0 238 0 339251 13 0 0 20 0 20 0 43224568 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=1796256 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3397.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/340 44816
/proc/meminfo: memFree=121587452/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3457.08 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 65873 0 238 0 345628 80 0 0 20 0 20 0 43224565 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 449064 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=1796256 CPUtime=3452.5 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 28309 0 238 0 345237 13 0 0 20 0 20 0 43224568 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=1796256 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=1796256 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1587 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 449064 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3457.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1796256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/340 44819
/proc/meminfo: memFree=121456164/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1845408 CPUtime=3516.95 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 65978 0 238 0 351613 82 0 0 20 0 20 0 43224565 19521036288 461352 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 461352 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=21996 CPUtime=3512.35 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 28379 0 238 0 351221 14 0 0 20 0 20 0 43224568 19521036288 461352 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 461352 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=1806496 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1589 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 461352 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=1843360 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 461352 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3516.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1845408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/341 44822
/proc/meminfo: memFree=121229612/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1990820 CPUtime=3576.93 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 66942 0 238 0 357608 85 0 0 20 0 20 0 43224565 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 497705 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=14432 CPUtime=3572.06 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 28675 0 238 0 357192 14 0 0 20 0 20 0 43224568 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=1990820 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1589 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=164 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3576.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1990820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.5 s]
/proc/loadavg: 4.13 4.13 4.09 4/316 44856
/proc/meminfo: memFree=123093812/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19063512 memory=1990820 CPUtime=3600.08 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 67010 0 238 0 359923 85 0 0 20 0 20 0 43224565 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4765878 497705 5517 1 0 555616 0
[pid=44470/tid=44484] ppid=44464 vsize=19063512 memory=14432 CPUtime=3595.2 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 28732 0 238 0 359506 14 0 0 20 0 20 0 43224568 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19063512 memory=1990820 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224570 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19063512 memory=-6000919489869670507 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1590 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44556] ppid=44464 vsize=19063512 memory=1990820 CPUtime=0 cores=0,2
/proc/44470/task/44556/stat : 44556 (Timer-0) S 44464 44470 43192 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43224596 19521036288 497705 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1990820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.46 s, system=0.869268 s

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

[startup+3605.6 s]
/proc/loadavg: 4.13 4.13 4.09 4/316 44856
/proc/meminfo: memFree=123093812/131250000 swapFree=33010684/33010684
[pid=44470] ppid=44464 vsize=19263204 memory=1991844 CPUtime=3600.28 cores=0,2
/proc/44470/stat : 44470 (java) S 44464 44470 43192 0 -1 4194304 68963 0 238 0 359943 85 0 0 20 0 21 0 43224565 19725520896 497961 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
/proc/44470/statm: 4815801 497961 5549 1 0 556580 0
[pid=44470/tid=44484] ppid=44464 vsize=19263204 memory=1990820 CPUtime=3595.3 cores=0,2
/proc/44470/task/44484/stat : 44484 (java) R 44464 44470 43192 0 -1 4194368 28883 0 238 0 359516 14 0 0 20 0 21 0 43224568 19725520896 497961 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44515] ppid=44464 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/44470/task/44515/stat : 44515 (Finalizer) S 44464 44470 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43224570 19725520896 497961 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
[pid=44470/tid=44533] ppid=44464 vsize=19263204 memory=17664 CPUtime=0 cores=0,2
/proc/44470/task/44533/stat : 44533 (Common-Cleaner) S 44464 44470 43192 0 -1 4194368 1590 0 0 0 0 0 0 0 20 0 21 0 43224571 19725520896 497961 18446744073709551615 94183866519552 94183866523248 140734517629600 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94183866531064 94183866531856 94183890784256 140734517635457 140734517635558 140734517635558 140734517641160 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1991844 KiB

Child status: 143

Real time (s): 3605.63
CPU time (s): 3600.33
CPU user time (s): 3599.46
CPU system time (s): 0.869268
CPU usage (%): 99.853
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1991844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.869268
maximum resident set size= 1991972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69213
page faults= 238
swaps= 0
block input operations= 0
block output operations= 13864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105090
involuntary context switches= 9447


# summary of solver processes directly reported to runsolver:
#   pid: 44470
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3599.46
#   total CPU system time (s): 0.869268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82594 second user time and 12.6768 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 11:24:30
IDJOB=4498268
IDBENCH=148588
IDSOLVER=3363
FILE ID=nodeC016/4498268-1751275470
RUNJOBID= nodeC016-1751275470-44424
SLURM_JOB_ID= 9594183
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498268-1751275470/watcher-4498268-1751275470 -o /tmp/evaluation-result-4498268-1751275470/solver-4498268-1751275470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751275470-44424 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498268-1751275470.opb

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

MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2
RANDOM SEED=1691264132

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.648
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2292.710
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.159
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1447.587
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.697
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2806.927
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.988
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2442.093
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129022948 kB
MemAvailable:   129735080 kB
Buffers:            3280 kB
Cached:          1515996 kB
SwapCached:            0 kB
Active:           331484 kB
Inactive:        1258856 kB
Active(anon):      89136 kB
Inactive(anon):        0 kB
Active(file):     242348 kB
Inactive(file):  1258856 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1300 kB
Writeback:            60 kB
AnonPages:         74492 kB
Mapped:           102628 kB
Shmem:             18072 kB
KReclaimable:     100332 kB
Slab:             187464 kB
SReclaimable:     100332 kB
SUnreclaim:        87132 kB
KernelStack:        4064 kB
PageTables:         2844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC016 at 2025-06-30 12:24:36