Trace number 4440355

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 2024 2024-07-07SAT (TO)-32 3600.36 3575.78

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUMc55f73e6e0cc08bf75a2558de9268914
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-40
Best CPU time to get the best result obtained on this benchmark15.9721
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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 760
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 760
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 760
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.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version CUSTOM.v20240707
0.06/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.13	c java.vm.version	22.0.1+8-16
0.06/0.13	c java.vm.vendor	Oracle Corporation
0.06/0.13	c sun.arch.data.model	64
0.06/0.13	c java.version		22.0.1
0.06/0.13	c os.name		Linux
0.06/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.13	c os.arch		amd64
0.06/0.13	c Free memory 		2104792832
0.06/0.13	c Max memory 		16282288128
0.06/0.13	c Total memory 		2113929216
0.06/0.14	c Number of processors 	2
0.06/0.17	--- Begin Solver configuration ---
0.06/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.17	Learn all clauses as in MiniSAT
0.06/0.17	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.17	Expensive reason simplification
0.06/0.17	Glucose 2.1 dynamic restart strategy
0.06/0.17	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.06/0.17	timeout=2147483s
0.06/0.17	DB Simplification allowed=false
0.06/0.17	Listener: none
0.06/0.17	--- End Solver configuration ---
0.06/0.17	c Pseudo Boolean Optimization by upper bound
0.06/0.17	c --- Begin Solver configuration ---
0.06/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.17	c Learn all clauses as in MiniSAT
0.06/0.17	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.17	c Expensive reason simplification
0.06/0.17	c Glucose 2.1 dynamic restart strategy
0.06/0.17	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.06/0.17	c timeout=2147483s
0.06/0.17	c DB Simplification allowed=false
0.06/0.17	c Listener: none
0.06/0.17	c --- End Solver configuration ---
0.06/0.17	c solving HOME/instance-4440355-1721765643.opb
0.06/0.17	c reading problem ... 
0.06/0.18	c using VERIPB proof format
0.06/0.18	c  objective function found
0.44/0.39	c ... done. Wall clock time 0.215s.
0.44/0.39	c declared #vars     760
0.44/0.39	c #constraints  41314
0.44/0.39	c constraints type 
0.44/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 41314
0.44/0.39	c 41314 constraints processed.
0.44/0.40	c objective function length is 760 literals
0.62/0.41	c SATISFIABLE
0.62/0.41	c OPTIMIZING...
0.62/0.41	c Got one! Elapsed wall clock time (in seconds):0.243
0.62/0.41	o -31
0.62/0.43	c Got one! Elapsed wall clock time (in seconds):0.26
0.62/0.43	o -32
5.42/2.91	c cleaning 2501 clauses out of 5002 with flag 10706/5002
7.76/4.86	c cleaning 4250 clauses out of 8500 with flag 23273/11001
10.33/7.21	c cleaning 5626 clauses out of 11251 with flag 37937/18002
13.39/10.03	c cleaning 6811 clauses out of 13624 with flag 54724/26001
16.88/13.39	c cleaning 7903 clauses out of 15813 with flag 73609/35001
21.45/17.64	c cleaning 8956 clauses out of 17911 with flag 94564/45002
26.22/22.18	c cleaning 9976 clauses out of 19954 with flag 117793/56001
31.13/26.98	c cleaning 10985 clauses out of 21981 with flag 142894/68004
37.17/32.88	c cleaning 11993 clauses out of 23993 with flag 170213/81001
43.89/39.98	c cleaning 12996 clauses out of 26000 with flag 199658/95001
50.99/46.73	c cleaning 14001 clauses out of 28004 with flag 231303/110001
59.80/55.23	c cleaning 15002 clauses out of 30004 with flag 264839/126002
69.90/64.91	c cleaning 15999 clauses out of 32003 with flag 300463/143003
80.00/75.68	c cleaning 17002 clauses out of 34004 with flag 337960/161003
90.25/85.53	c cleaning 18001 clauses out of 36002 with flag 378047/180003
103.37/98.15	c cleaning 18991 clauses out of 37999 with flag 419976/200001
116.01/111.04	c cleaning 20002 clauses out of 40008 with flag 463861/221001
130.56/125.10	c cleaning 20994 clauses out of 42009 with flag 509632/243004
146.12/141.16	c cleaning 22004 clauses out of 44014 with flag 557822/266003
161.24/155.92	c cleaning 22999 clauses out of 46009 with flag 608337/290002
178.23/172.93	c cleaning 24005 clauses out of 48009 with flag 660663/315001
199.48/194.24	c cleaning 24995 clauses out of 50005 with flag 715199/341002
222.58/215.66	c cleaning 26005 clauses out of 52009 with flag 771768/368001
245.28/240.94	c cleaning 26998 clauses out of 54004 with flag 829884/396001
267.99/263.62	c cleaning 28000 clauses out of 56007 with flag 891007/425002
294.64/290.09	c cleaning 29000 clauses out of 58008 with flag 954079/455003
322.25/317.62	c cleaning 30000 clauses out of 60007 with flag 1018835/486002
351.63/346.61	c cleaning 31000 clauses out of 62006 with flag 1085582/518001
382.16/377.04	c cleaning 31998 clauses out of 64008 with flag 1155584/551003
412.42/407.38	c cleaning 32996 clauses out of 66008 with flag 1227234/585001
446.20/441.16	c cleaning 34001 clauses out of 68012 with flag 1300851/620001
485.71/480.26	c cleaning 35000 clauses out of 70013 with flag 1376265/656003
529.49/522.59	c cleaning 36001 clauses out of 72011 with flag 1453638/693001
573.33/566.22	c cleaning 37001 clauses out of 74010 with flag 1533752/731001
618.80/611.83	c cleaning 37997 clauses out of 76010 with flag 1615609/770002
663.13/656.76	c cleaning 39000 clauses out of 78013 with flag 1699506/810002
704.89/698.36	c cleaning 40007 clauses out of 80014 with flag 1784917/851003
753.63/747.54	c cleaning 40996 clauses out of 82005 with flag 1872477/893001
803.48/796.95	c cleaning 42005 clauses out of 84009 with flag 1962242/936001
850.96/842.44	c cleaning 43000 clauses out of 86005 with flag 2054068/980002
901.09/892.36	c cleaning 44001 clauses out of 88006 with flag 2148114/1025003
951.44/943.72	c cleaning 44999 clauses out of 90004 with flag 2244425/1071002
1006.09/998.41	c cleaning 46002 clauses out of 92005 with flag 2343340/1118002
1064.79/1056.88	c cleaning 46998 clauses out of 94002 with flag 2443997/1166001
1121.96/1114.12	c cleaning 47994 clauses out of 96004 with flag 2546697/1215001
1191.74/1182.30	c cleaning 49005 clauses out of 98011 with flag 2651315/1265002
1261.43/1251.81	c cleaning 50004 clauses out of 100008 with flag 2758641/1316004
1322.77/1312.97	c cleaning 50990 clauses out of 102001 with flag 2867585/1368001
1388.66/1378.78	c cleaning 52002 clauses out of 104013 with flag 2978843/1421003
1449.89/1439.91	c cleaning 53004 clauses out of 106009 with flag 3092121/1475001
1519.21/1508.97	c cleaning 54003 clauses out of 108005 with flag 3207466/1530001
1594.25/1583.88	c cleaning 54997 clauses out of 110002 with flag 3323675/1586001
1670.68/1658.42	c cleaning 55998 clauses out of 112007 with flag 3442642/1643003
1759.01/1746.65	c cleaning 57003 clauses out of 114008 with flag 3564159/1701002
1842.96/1830.42	c cleaning 57998 clauses out of 116004 with flag 3685921/1760001
1947.02/1934.35	c cleaning 58991 clauses out of 118007 with flag 3812062/1820002
2045.22/2033.36	c cleaning 59999 clauses out of 120015 with flag 3940106/1881001
2144.57/2132.48	c cleaning 61003 clauses out of 122019 with flag 4069768/1943004
2249.68/2234.66	c cleaning 62000 clauses out of 124013 with flag 4201998/2006001
2354.91/2339.34	c cleaning 63005 clauses out of 126014 with flag 4336634/2070002
2463.69/2447.94	c cleaning 63999 clauses out of 128011 with flag 4472840/2135004
2578.08/2562.06	c cleaning 65003 clauses out of 130009 with flag 4611064/2201001
2688.47/2672.37	c cleaning 66000 clauses out of 132006 with flag 4751814/2268001
2788.74/2769.26	c cleaning 66999 clauses out of 134006 with flag 4894132/2336001
2888.71/2870.33	c cleaning 68005 clauses out of 136009 with flag 5038543/2405003
2999.55/2981.30	c cleaning 69001 clauses out of 138002 with flag 5184870/2475001
3120.07/3101.12	c cleaning 69997 clauses out of 140003 with flag 5333214/2546003
3229.21/3209.60	c cleaning 71002 clauses out of 142004 with flag 5482707/2618001
3356.29/3333.12	c cleaning 71996 clauses out of 144002 with flag 5635104/2691001
3501.88/3477.81	c cleaning 73001 clauses out of 146008 with flag 5789841/2765003
3600.07/3575.61	c starts		: 29
3600.07/3575.62	c conflicts		: 2823615
3600.07/3575.62	c decisions		: 2947085
3600.07/3575.62	c propagations		: 15367442
3600.07/3575.62	c inspects		: 6978441082
3600.07/3575.62	c shortcuts		: 0
3600.07/3575.62	c learnt literals	: 0
3600.07/3575.62	c learnt binary clauses	: 0
3600.07/3575.62	c learnt ternary clauses	: 0
3600.07/3575.62	c learnt constraints	: 2823615
3600.07/3575.62	c ignored constraints	: 0
3600.07/3575.62	c root simplifications	: 0
3600.07/3575.62	c removed literals (reason simplification)	: 100360681
3600.07/3575.62	c reason swapping (by a shorter reason)	: 0
3600.07/3575.62	c Calls to reduceDB	: 70
3600.07/3575.62	c Number of update (reduction) of LBD	: 98801
3600.07/3575.62	c Imported unit clauses	: 0
3600.07/3575.62	c No decision after first conflict	: false
3600.07/3575.62	c number of reductions to clauses (during analyze)	: 0
3600.07/3575.62	c number of learned constraints concerned by reduction	: 0
3600.07/3575.62	c number of learning phase by resolution	: 0
3600.07/3575.62	c number of learning phase by cutting planes	: 0
3600.07/3575.62	c number of rounding to 1 operations	: 0
3600.07/3575.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3575.62	c number of reductions of the coefficients by power 2 	: 0
3600.07/3575.62	c number of right shift for reduction by power 2 	: 0
3600.07/3575.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3575.62	c number of ending skipping 	: 0
3600.07/3575.62	c number of internal skipping 	: 0
3600.07/3575.62	c number of derivation steps 	: 0
3600.07/3575.62	c number of skipped derivation steps 	: 0
3600.07/3575.62	c number of remaining unassigned 	: 0
3600.07/3575.62	c number of remaining assigned 	: 0
3600.07/3575.62	c number of falsified literals weakened from reason	: 0
3600.07/3575.62	c number of falsified literals weakened from conflict	: 0
3600.07/3575.62	c time for arithmetic operations	: 0
3600.07/3575.62	c minimum degree of deleted constraints	: null
3600.07/3575.62	c maximum degree of deleted constraints	: null
3600.07/3575.62	c number of deleted constraints	: 0
3600.07/3575.62	c speed (assignments/second)	: 4298.330280833696
3600.07/3575.62	c non guided choices	: 0
3600.07/3575.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 131619
3600.07/3575.68	s SATISFIABLE
3600.07/3575.68	c Found 2 solution(s)
3600.07/3575.69	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 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 
3600.29/3575.72	c objective function=-32
3600.29/3575.72	c Total wall clock time (in seconds): 3575.544

Verifier Data 

OK	-32

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: 63931 MiB (60572 MiB free)
  memory of node 1: 64510 MiB (61330 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.101855 s]*
/proc/loadavg: 2.21 2.16 2.23 13/335 121511
/proc/meminfo: memFree=124672956/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=18975048 memory=58088 CPUtime=0.06 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 6386 0 24 0 5 1 0 0 20 0 18 0 13094564 19430449152 14522 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4743762 14522 5702 1 0 548765 0
[pid=121406/tid=121419] ppid=121403 vsize=18975048 memory=4026531971 CPUtime=0.04 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 5343 0 19 0 3 1 0 0 20 0 18 0 13094565 19430449152 14522 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=18975048 memory=674462 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094572 19430449152 14522 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13094573 19430449152 14522 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58088 KiB

[startup+0.206903 s]*
/proc/loadavg: 2.21 2.16 2.23 14/335 121511
/proc/meminfo: memFree=124617572/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=18975048 memory=70184 CPUtime=0.24 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 7391 0 24 0 22 2 0 0 20 0 18 0 13094564 19430449152 17546 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4743762 17546 5728 1 0 549533 0
[pid=121406/tid=121419] ppid=121403 vsize=18975048 memory=4782652875487838339 CPUtime=0.13 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 5824 0 19 0 12 1 0 0 20 0 18 0 13094565 19430449152 17546 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=18975048 memory=674462 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094572 19430449152 17546 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13094573 19430449152 17546 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70184 KiB

[startup+0.306903 s]*
/proc/loadavg: 2.21 2.16 2.23 12/335 121511
/proc/meminfo: memFree=124517804/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=18975048 memory=103540 CPUtime=0.44 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 8969 0 24 0 41 3 0 0 20 0 18 0 13094564 19430449152 25885 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4743762 25885 5829 1 0 550557 0
[pid=121406/tid=121419] ppid=121403 vsize=18975048 memory=-9104139258295001788 CPUtime=0.23 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 5839 0 19 0 21 2 0 0 20 0 18 0 13094565 19430449152 25885 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094572 19430449152 25885 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13094573 19430449152 25885 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 103540 KiB

[startup+0.70025 s]
/proc/loadavg: 2.21 2.16 2.23 13/339 121515
/proc/meminfo: memFree=124288784/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=183436 CPUtime=1.17 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 14936 0 24 0 112 5 0 0 20 0 20 0 13094564 19566772224 45859 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 45859 5876 1 0 554973 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=5552 CPUtime=0.59 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 6009 0 19 0 56 3 0 0 20 0 20 0 13094565 19566772224 45859 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 45859 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=25664 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 45859 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=1800 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 45859 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183436 KiB

[startup+1.50191 s]
/proc/loadavg: 2.91 2.30 2.28 12/343 121519
/proc/meminfo: memFree=124131608/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=202320 CPUtime=2.74 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 16032 0 24 0 268 6 0 0 20 0 20 0 13094564 19566772224 50580 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 50580 5892 1 0 555866 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=12348 CPUtime=1.32 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 6019 0 19 0 128 4 0 0 20 0 20 0 13094565 19566772224 50580 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 50580 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=25664 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 50580 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=1800 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 50580 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202320 KiB

[startup+3.11291 s]
/proc/loadavg: 2.91 2.30 2.28 7/343 121519
/proc/meminfo: memFree=122352060/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=627456 CPUtime=5.71 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 17564 0 24 0 554 17 0 0 20 0 20 0 13094564 19566772224 156864 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 156864 5893 1 0 1435332 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=-8961431445102699196 CPUtime=2.75 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 6208 0 19 0 264 11 0 0 20 0 20 0 13094565 19566772224 156864 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 156864 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 156864 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=25664 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 156864 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 627456 KiB

[startup+6.30028 s]
/proc/loadavg: 3.00 2.33 2.29 5/345 121521
/proc/meminfo: memFree=119224596/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=1533220 CPUtime=9.35 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 19191 0 24 0 896 39 0 0 20 0 20 0 13094564 19566772224 383305 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 383305 5893 1 0 1907439 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=0 CPUtime=5.59 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 6509 0 19 0 532 27 0 0 20 0 20 0 13094565 19566772224 383305 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=25664 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 383305 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 383305 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=208464 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 383305 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533220 KiB

[startup+12.7003 s]
/proc/loadavg: 3.08 2.36 2.30 5/345 121523
/proc/meminfo: memFree=114571040/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=2437444 CPUtime=16.16 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 20533 0 24 0 1553 63 0 0 20 0 20 0 13094564 19566772224 609361 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 609361 5893 1 0 1995177 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=208464 CPUtime=11.55 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 7328 0 19 0 1111 44 0 0 20 0 20 0 13094565 19566772224 609361 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 609361 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=2437440 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 609361 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 609361 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 16.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2437444 KiB

[startup+25.5003 s]
/proc/loadavg: 3.30 2.43 2.32 6/345 121524
/proc/meminfo: memFree=105566060/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=3297916 CPUtime=29.73 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 26942 0 24 0 2883 90 0 0 20 0 20 0 13094564 19566772224 824479 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 824479 5893 1 0 1995181 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=2437440 CPUtime=23.54 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 8710 0 19 0 2296 58 0 0 20 0 20 0 13094565 19566772224 824479 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 824479 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=2888300 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 824479 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=43496 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 824479 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 29.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3297916 KiB

[startup+51.1061 s]
/proc/loadavg: 3.70 2.61 2.39 5/345 121529
/proc/meminfo: memFree=96624264/131524600 swapFree=131071216/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=4655940 CPUtime=55.7 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 32757 0 24 0 5430 140 0 0 20 0 20 0 13094564 19566772224 1163985 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 1163985 5893 1 0 1995187 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=2888300 CPUtime=47.16 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 11832 0 19 0 4628 88 0 0 20 0 20 0 13094565 19566772224 1163985 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 81 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 1163985 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0

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

[startup+3222.3 s]
/proc/loadavg: 4.32 4.53 4.60 5/338 123454
/proc/meminfo: memFree=48264532/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742460 CPUtime=3242.01 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1094171 0 24 0 322305 1896 0 0 20 0 20 0 13094564 19566772224 2935615 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935615 5909 1 0 2949573 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=11742412 CPUtime=3119.04 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 752917 0 19 0 310270 1634 0 0 20 0 20 0 13094565 19566772224 2935615 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3483 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=11742368 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935615 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3246 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935615 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=-4421386496281503845 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935615 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3242.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742460 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.48 4.57 5/337 123465
/proc/meminfo: memFree=47147900/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742472 CPUtime=3302.5 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1096469 0 24 0 328328 1922 0 0 20 0 20 0 13094564 19566772224 2935618 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935618 5909 1 0 2949573 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=11742472 CPUtime=3177.89 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 754744 0 19 0 316131 1658 0 0 20 0 20 0 13094565 19566772224 2935618 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3499 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=11742460 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935618 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=11742412 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3306 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935618 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935618 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3302.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.45 4.55 5/338 123476
/proc/meminfo: memFree=44832740/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742724 CPUtime=3365.4 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1123438 0 24 0 334588 1952 0 0 20 0 20 0 13094564 19566772224 2935681 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935681 5909 1 0 2949633 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=11742724 CPUtime=3236.62 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 764352 0 19 0 321978 1684 0 0 20 0 20 0 13094565 19566772224 2935681 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3512 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=11742724 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935681 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=11742696 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3306 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935681 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=11742724 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935681 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3365.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.39 4.53 5/339 123491
/proc/meminfo: memFree=43816556/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742744 CPUtime=3426.14 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1159377 0 24 0 340636 1978 0 0 20 0 20 0 13094564 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935686 5909 1 0 2949633 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=11742724 CPUtime=3295.04 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 795420 0 19 0 327796 1708 0 0 20 0 20 0 13094565 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3527 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=11742744 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3393 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=11742744 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3426.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.36 4.51 5/339 123502
/proc/meminfo: memFree=42302128/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742744 CPUtime=3486.41 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1159911 0 24 0 346642 1999 0 0 20 0 20 0 13094564 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935686 5909 1 0 2949633 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=11742724 CPUtime=3354.09 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 795835 0 19 0 333683 1726 0 0 20 0 20 0 13094565 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3541 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=11576 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=11742744 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3393 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=11742744 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935686 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3486.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.32 4.49 5/338 123512
/proc/meminfo: memFree=41385820/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742748 CPUtime=3546.81 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1196443 0 24 0 352653 2028 0 0 20 0 20 0 13094564 19566772224 2935687 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935687 5909 1 0 2949633 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=11742744 CPUtime=3412.97 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 827026 0 19 0 339546 1751 0 0 20 0 20 0 13094565 19566772224 2935687 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3555 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935687 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=43496 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3395 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935687 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=-8961431445102699196 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935687 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3546.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.6 s]
/proc/loadavg: 4.22 4.31 4.47 5/339 123792
/proc/meminfo: memFree=92201712/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19108176 memory=11742768 CPUtime=3600.07 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1197727 0 24 0 357959 2048 0 0 20 0 20 0 13094564 19566772224 2935692 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4777044 2935692 5909 1 0 2949633 0
[pid=121406/tid=121419] ppid=121403 vsize=19108176 memory=43496 CPUtime=3465.4 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 827799 0 19 0 344770 1770 0 0 20 0 20 0 13094565 19566772224 2935692 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3568 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19108176 memory=12348 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094572 19566772224 2935692 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3485 0 0 0 0 0 0 0 20 0 20 0 13094573 19566772224 2935692 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121513] ppid=121403 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/121406/task/121513/stat : 121513 (Timer-0) S 121403 121406 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094606 19566772224 2935692 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11742768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.83 s, system=20.53 s

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

[startup+3575.71 s]
/proc/loadavg: 4.22 4.31 4.47 5/339 123792
/proc/meminfo: memFree=92201712/131524600 swapFree=131064012/131071996
[pid=121406] ppid=121403 vsize=19307868 memory=11743696 CPUtime=3600.29 cores=5,7
/proc/121406/stat : 121406 (java) S 121403 121406 121366 0 -1 1077936128 1201815 0 24 0 357980 2049 0 0 20 0 21 0 13094564 19771256832 2935924 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
/proc/121406/statm: 4826967 2935924 5908 1 0 2950618 0
[pid=121406/tid=121419] ppid=121403 vsize=19307868 memory=16012 CPUtime=3465.51 cores=5,7
/proc/121406/task/121419/stat : 121419 (java) R 121403 121406 121366 0 -1 4194368 827931 0 19 0 344781 1770 0 0 20 0 21 0 13094565 19771256832 2935924 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3568 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121478] ppid=121403 vsize=19307868 memory=-8527393723890049724 CPUtime=0 cores=5,7
/proc/121406/task/121478/stat : 121478 (Finalizer) S 121403 121406 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13094572 19771256832 2935924 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
[pid=121406/tid=121499] ppid=121403 vsize=19307868 memory=39132 CPUtime=0 cores=5,7
/proc/121406/task/121499/stat : 121499 (Common-Cleaner) S 121403 121406 121366 0 -1 1077936192 3485 0 0 0 0 0 0 0 20 0 21 0 13094573 19771256832 2935924 134679101440 94644377624576 94644377628272 140727582553504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644377636088 94644377636880 94644410642432 140727582561195 140727582561377 140727582561377 140727582568392 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11743696 KiB

Child status: 143

Real time (s): 3575.78
CPU time (s): 3600.36
CPU user time (s): 3579.83
CPU system time (s): 20.53
CPU usage (%): 100.687
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11743696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.83
system time used= 20.53
maximum resident set size= 11744544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1202226
page faults= 24
swaps= 0
block input operations= 12240
block output operations= 26198488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119908
involuntary context switches= 18017


# summary of solver processes directly reported to runsolver:
#   pid: 121406
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3579.83
#   total CPU system time (s): 20.53

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74428 second user time and 18.7513 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-23 22:14:03
IDJOB=4440355
IDBENCH=146698
IDSOLVER=3079
FILE ID=nodeC035/4440355-1721765643
RUNJOBID= nodeC035-1721765643-121379
SLURM_JOB_ID= 7770671
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440355-1721765643/watcher-4440355-1721765643 -o /tmp/evaluation-result-4440355-1721765643/solver-4440355-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121379 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440355-1721765643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440355-1721765643.opb

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

MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=2138154298

nodeC035.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	: 0xb00002a
cpu MHz		: 2805.117
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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		: 3326.856
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
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		: 3187.514
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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		: 2370.179
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
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		: 3256.201
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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		: 3525.822
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
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		: 3250.424
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
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		: 3345.878
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 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124836760 kB
MemAvailable:   129662744 kB
Buffers:          178812 kB
Cached:          5389768 kB
SwapCached:           64 kB
Active:          1104668 kB
Inactive:        4846964 kB
Active(anon):       1480 kB
Inactive(anon):   419064 kB
Active(file):    1103188 kB
Inactive(file):  4427900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              2156 kB
Writeback:             0 kB
AnonPages:        382736 kB
Mapped:           102564 kB
Shmem:             37496 kB
KReclaimable:     269084 kB
Slab:             377816 kB
SReclaimable:     269084 kB
SUnreclaim:       108732 kB
KernelStack:        4000 kB
PageTables:         9320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     780312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20608 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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:      328404 kB
DirectMap2M:    34048000 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC035 at 2024-07-23 23:13:39