Trace number 4440486

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)9 3600.29 3627.03

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb
MD5SUMea40b84df91c60f1b4d71ba03d843a27
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 benchmark9
Best CPU time to get the best result obtained on this benchmark374.616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints9296
Number of constraints which are clauses9261
Number of constraints which are cardinality constraints (but not clauses)35
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint22
Number of terms in the objective function 22
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 22
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
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.14/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.13	c See www.sat4j.org for details.
0.14/0.15	c version CUSTOM.v20240707
0.14/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.17	c java.vm.version	22.0.1+8-16
0.14/0.17	c java.vm.vendor	Oracle Corporation
0.14/0.17	c sun.arch.data.model	64
0.14/0.17	c java.version		22.0.1
0.14/0.17	c os.name		Linux
0.14/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.17	c os.arch		amd64
0.14/0.19	c Free memory 		2115194816
0.14/0.19	c Max memory 		16282288128
0.14/0.19	c Total memory 		2122317824
0.14/0.19	c Number of processors 	2
0.28/0.29	--- Begin Solver configuration ---
0.28/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.29	Learn all clauses as in MiniSAT
0.28/0.29	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.29	Expensive reason simplification
0.28/0.29	Glucose 2.1 dynamic restart strategy
0.28/0.29	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.28/0.29	timeout=2147483s
0.28/0.29	DB Simplification allowed=false
0.28/0.29	Listener: none
0.28/0.29	--- End Solver configuration ---
0.28/0.29	c Pseudo Boolean Optimization by upper bound
0.28/0.29	c --- Begin Solver configuration ---
0.28/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.28/0.29	c Learn all clauses as in MiniSAT
0.28/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.29	c Expensive reason simplification
0.28/0.29	c Glucose 2.1 dynamic restart strategy
0.28/0.29	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.28/0.29	c timeout=2147483s
0.28/0.29	c DB Simplification allowed=false
0.28/0.29	c Listener: none
0.28/0.29	c --- End Solver configuration ---
0.28/0.29	c solving HOME/instance-4440486-1721820617.opb
0.28/0.29	c reading problem ... 
0.28/0.31	c using VERIPB proof format
0.28/0.31	c  objective function found
0.81/0.56	c ... done. Wall clock time 0.26s.
0.81/0.56	c declared #vars     792
0.81/0.56	c #constraints  9331
0.81/0.56	c constraints type 
0.81/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9261
0.81/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 35
0.81/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 35
0.81/0.56	c 9331 constraints processed.
0.81/0.59	c objective function length is 22 literals
1.33/0.90	c SATISFIABLE
1.53/0.91	c OPTIMIZING...
1.53/0.91	c Got one! Elapsed wall clock time (in seconds):0.608
1.53/0.91	o 20
1.53/0.93	c Got one! Elapsed wall clock time (in seconds):0.625
1.53/0.93	o 19
1.53/0.95	c Got one! Elapsed wall clock time (in seconds):0.65
1.53/0.95	o 12
1.53/0.99	c Got one! Elapsed wall clock time (in seconds):0.694
1.53/0.99	o 11
1.74/1.07	c Got one! Elapsed wall clock time (in seconds):0.773
1.74/1.07	o 10
3.71/2.06	c cleaning 2881 clauses out of 5764 with flag 40285/5766
5.53/3.00	c cleaning 4439 clauses out of 8879 with flag 111463/11762
5.63/3.15	c Got one! Elapsed wall clock time (in seconds):2.856
5.63/3.15	o 9
6.63/4.07	c cleaning 5211 clauses out of 10438 with flag 57566/17762
8.48/5.24	c cleaning 5608 clauses out of 11226 with flag 132852/23761
10.04/6.71	c cleaning 6301 clauses out of 12618 with flag 222886/30761
12.16/8.40	c cleaning 7153 clauses out of 14317 with flag 328990/38761
13.96/10.29	c cleaning 8078 clauses out of 16166 with flag 461450/47763
16.35/12.69	c cleaning 9038 clauses out of 18090 with flag 608323/57765
19.04/15.39	c cleaning 10019 clauses out of 20049 with flag 786033/68762
21.94/18.27	c cleaning 11012 clauses out of 22029 with flag 971724/80761
25.45/21.73	c cleaning 12008 clauses out of 24017 with flag 1178213/93761
29.24/25.51	c cleaning 13001 clauses out of 26010 with flag 1396530/107762
33.34/29.68	c cleaning 13994 clauses out of 28008 with flag 1612596/122761
39.01/35.76	c cleaning 15001 clauses out of 30014 with flag 1849624/138761
46.69/42.88	c cleaning 16004 clauses out of 32014 with flag 2107335/155762
53.27/49.28	c cleaning 16999 clauses out of 34010 with flag 2383583/173762
60.25/56.27	c cleaning 17995 clauses out of 36011 with flag 2684612/192762
67.65/63.89	c cleaning 19000 clauses out of 38018 with flag 3007938/212764
76.24/72.46	c cleaning 20002 clauses out of 40016 with flag 3358499/233762
85.24/81.44	c cleaning 21001 clauses out of 42014 with flag 3734000/255762
95.11/91.36	c cleaning 22002 clauses out of 44015 with flag 4123450/278764
106.27/102.97	c cleaning 23002 clauses out of 46012 with flag 4538972/302763
113.56/110.29	c cleaning 24001 clauses out of 48011 with flag 4901629/327764
135.08/131.94	c cleaning 25003 clauses out of 50007 with flag 5286408/353761
158.73/155.64	c cleaning 25994 clauses out of 52004 with flag 5706260/380761
183.74/180.82	c cleaning 26997 clauses out of 54012 with flag 6086549/408763
204.74/202.10	c cleaning 28000 clauses out of 56013 with flag 6512927/437761
226.29/224.38	c cleaning 29004 clauses out of 58015 with flag 6965132/467763
247.84/245.98	c cleaning 29995 clauses out of 60010 with flag 7455738/498762
269.94/269.29	c cleaning 31000 clauses out of 62014 with flag 7949580/530761
294.82/295.84	c cleaning 32001 clauses out of 64014 with flag 8479949/563761
321.35/322.48	c cleaning 33000 clauses out of 66013 with flag 9071698/597761
342.80/343.90	c cleaning 34001 clauses out of 68013 with flag 9708522/632761
370.74/371.94	c cleaning 34997 clauses out of 70013 with flag 10278174/668762
399.66/404.35	c cleaning 35996 clauses out of 72015 with flag 10890750/705761
426.60/431.38	c cleaning 37001 clauses out of 74020 with flag 11546726/743762
451.37/456.11	c cleaning 38007 clauses out of 76019 with flag 12135493/782762
479.00/483.82	c cleaning 38999 clauses out of 78011 with flag 12725707/822761
510.14/515.09	c cleaning 40002 clauses out of 80012 with flag 13345040/863761
549.46/554.47	c cleaning 40998 clauses out of 82012 with flag 14008294/905763
592.65/597.75	c cleaning 41996 clauses out of 84013 with flag 14697519/948762
660.94/666.19	c cleaning 43003 clauses out of 86016 with flag 15440910/992761
712.03/717.39	c cleaning 44002 clauses out of 88013 with flag 16183318/1037761
784.18/791.17	c cleaning 44998 clauses out of 90012 with flag 16934057/1083762
837.55/844.68	c cleaning 45997 clauses out of 92013 with flag 17712246/1130761
886.64/893.89	c cleaning 46998 clauses out of 94016 with flag 18515965/1178761
955.00/965.86	c cleaning 48002 clauses out of 96018 with flag 19373212/1227761
1035.63/1049.14	c cleaning 49001 clauses out of 98016 with flag 20169640/1277761
1125.17/1138.83	c cleaning 49997 clauses out of 100015 with flag 21005837/1328761
1201.11/1215.39	c cleaning 50993 clauses out of 102018 with flag 21917250/1380761
1286.69/1301.04	c cleaning 52003 clauses out of 104027 with flag 22905448/1433763
1350.58/1365.08	c cleaning 53002 clauses out of 106023 with flag 23763018/1487762
1445.55/1460.23	c cleaning 54009 clauses out of 108023 with flag 24617480/1542764
1590.10/1605.06	c cleaning 55003 clauses out of 110011 with flag 25533945/1598761
1716.61/1731.89	c cleaning 55997 clauses out of 112009 with flag 26465036/1655762
1861.33/1881.55	c cleaning 57001 clauses out of 114013 with flag 27453720/1713763
1966.39/1986.88	c cleaning 57989 clauses out of 116010 with flag 28524256/1772761
2079.32/2100.00	c cleaning 58994 clauses out of 118022 with flag 29523624/1832762
2217.61/2238.52	c cleaning 60009 clauses out of 120030 with flag 30583103/1893764
2324.67/2345.85	c cleaning 60998 clauses out of 122019 with flag 31679013/1955762
2446.47/2467.80	c cleaning 61999 clauses out of 124020 with flag 32820019/2018761
2552.43/2574.02	c cleaning 63004 clauses out of 126022 with flag 33925795/2082762
2679.55/2701.44	c cleaning 63999 clauses out of 128017 with flag 35009058/2147761
2840.78/2862.90	c cleaning 65002 clauses out of 130018 with flag 36196076/2213761
2979.31/3002.17	c cleaning 66001 clauses out of 132016 with flag 37427189/2280761
3105.15/3128.37	c cleaning 66999 clauses out of 134015 with flag 38537192/2348761
3229.20/3252.61	c cleaning 68004 clauses out of 136017 with flag 39755721/2417762
3410.17/3433.90	c cleaning 69001 clauses out of 138013 with flag 41062114/2487762
3599.46/3626.38	c cleaning 69999 clauses out of 140011 with flag 42388181/2558761
3600.06/3626.92	c starts		: 7575
3600.06/3626.95	c conflicts		: 2559105
3600.06/3626.95	c decisions		: 3210905
3600.06/3626.95	c propagations		: 115423567
3600.06/3626.95	c inspects		: 38657835297
3600.06/3626.95	c shortcuts		: 0
3600.06/3626.95	c learnt literals	: 4
3600.06/3626.95	c learnt binary clauses	: 1
3600.06/3626.95	c learnt ternary clauses	: 0
3600.06/3626.95	c learnt constraints	: 2559101
3600.06/3626.95	c ignored constraints	: 0
3600.06/3626.95	c root simplifications	: 0
3600.06/3626.95	c removed literals (reason simplification)	: 37926150
3600.06/3626.95	c reason swapping (by a shorter reason)	: 0
3600.06/3626.95	c Calls to reduceDB	: 69
3600.06/3626.95	c Number of update (reduction) of LBD	: 1127334
3600.06/3626.95	c Imported unit clauses	: 0
3600.06/3626.96	c No decision after first conflict	: false
3600.06/3626.96	c number of reductions to clauses (during analyze)	: 0
3600.06/3626.96	c number of learned constraints concerned by reduction	: 0
3600.06/3626.96	c number of learning phase by resolution	: 0
3600.06/3626.97	c number of learning phase by cutting planes	: 0
3600.06/3626.97	c number of rounding to 1 operations	: 0
3600.06/3626.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3626.97	c number of reductions of the coefficients by power 2 	: 0
3600.06/3626.97	c number of right shift for reduction by power 2 	: 0
3600.06/3626.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3626.97	c number of ending skipping 	: 0
3600.06/3626.97	c number of internal skipping 	: 0
3600.06/3626.97	c number of derivation steps 	: 0
3600.06/3626.97	c number of skipped derivation steps 	: 0
3600.06/3626.97	c number of remaining unassigned 	: 0
3600.06/3626.97	c number of remaining assigned 	: 0
3600.06/3626.97	c number of falsified literals weakened from reason	: 0
3600.06/3626.97	c number of falsified literals weakened from conflict	: 0
3600.06/3626.97	c time for arithmetic operations	: 0
3600.06/3626.98	c minimum degree of deleted constraints	: null
3600.06/3626.98	c maximum degree of deleted constraints	: null
3600.06/3626.98	c number of deleted constraints	: 0
3600.06/3626.98	c speed (assignments/second)	: 31828.86707956695
3600.06/3626.99	c non guided choices	: 608
3600.06/3627.00	c timeout
3600.06/3627.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 2486
3600.06/3627.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.06/3627.00	s SATISFIABLE
3600.06/3627.00	c Found 6 solution(s)
3600.06/3627.00	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 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 
3600.06/3627.01	c objective function=9
3600.06/3627.01	c Total wall clock time (in seconds): 3626.715

Verifier Data 

OK	9

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=170548, runsolver pid=170545

[startup+0.108381 s]*
/proc/loadavg: 4.54 2.85 1.29 7/337 170566
/proc/meminfo: memFree=97340044/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=18975048 memory=56660 CPUtime=0.14 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 6594 0 0 0 11 3 0 0 20 0 18 0 18051581 19430449152 14165 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4743762 14165 5702 1 0 550916 0
[pid=170548/tid=170550] ppid=170545 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 5519 0 0 0 7 2 0 0 20 0 18 0 18051582 19430449152 14201 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18051586 19430449152 14201 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=18975048 memory=14127853412501402 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18051587 19430449152 14201 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56660 KiB

[startup+0.215196 s]*
/proc/loadavg: 4.54 2.85 1.29 5/337 170566
/proc/meminfo: memFree=97328288/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=18975048 memory=65236 CPUtime=0.28 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 7209 0 0 0 25 3 0 0 20 0 18 0 18051581 19430449152 16309 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4743762 16309 5708 1 0 551389 0
[pid=170548/tid=170550] ppid=170545 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 5749 0 0 0 16 2 0 0 20 0 18 0 18051582 19430449152 16309 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=18975048 memory=1264155 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18051586 19430449152 16309 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18051587 19430449152 16309 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65236 KiB

[startup+0.314954 s]*
/proc/loadavg: 4.82 2.93 1.33 7/337 170566
/proc/meminfo: memFree=97324872/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=18975048 memory=66836 CPUtime=0.44 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 7511 0 0 0 41 3 0 0 20 0 18 0 18051581 19430449152 16709 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4743762 16709 5755 1 0 551621 0
[pid=170548/tid=170550] ppid=170545 vsize=18975048 memory=-8816189261819454140 CPUtime=0.27 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 5930 0 0 0 25 2 0 0 20 0 18 0 18051582 19430449152 16709 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18051586 19430449152 16709 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18051587 19430449152 16709 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66836 KiB

[startup+0.701196 s]
/proc/loadavg: 4.82 2.93 1.33 7/337 170566
/proc/meminfo: memFree=97301352/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19041612 memory=93884 CPUtime=1.13 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 9756 0 0 0 108 5 0 0 20 0 19 0 18051581 19498610688 23471 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4760403 23471 5847 1 0 553326 0
[pid=170548/tid=170550] ppid=170545 vsize=19041612 memory=5516 CPUtime=0.6 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 6094 0 0 0 57 3 0 0 20 0 19 0 18051582 19498610688 23471 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19041612 memory=12668 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18051586 19498610688 23471 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18051587 19498610688 23471 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93884 KiB

[startup+1.50882 s]
/proc/loadavg: 4.82 2.93 1.33 7/338 170567
/proc/meminfo: memFree=97206372/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=175516 CPUtime=2.72 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 16244 0 0 0 264 8 0 0 20 0 20 0 18051581 19566772224 43879 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 43879 5886 1 0 555247 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=12668 CPUtime=1.34 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 6531 0 0 0 130 4 0 0 20 0 20 0 18051582 19566772224 43879 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 43879 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 43879 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 43879 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175516 KiB

[startup+3.10601 s]
/proc/loadavg: 4.82 2.93 1.33 6/339 170569
/proc/meminfo: memFree=97063112/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=182732 CPUtime=5.63 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 19406 0 0 0 552 11 0 0 20 0 20 0 18051581 19566772224 45683 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 45683 5886 1 0 555946 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=0 CPUtime=2.92 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 7427 0 0 0 286 6 0 0 20 0 20 0 18051582 19566772224 45683 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 45683 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 45683 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=12668 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 45683 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182732 KiB

[startup+6.30045 s]
/proc/loadavg: 4.84 2.97 1.35 5/339 170569
/proc/meminfo: memFree=96818128/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=318832 CPUtime=9.64 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 24378 0 0 0 948 16 0 0 20 0 20 0 18051581 19566772224 79708 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 79708 5886 1 0 557909 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=0 CPUtime=6.09 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 7903 0 0 0 600 9 0 0 20 0 20 0 18051582 19566772224 79708 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=12668 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 79708 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 79708 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=60516 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 79708 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 9.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 318832 KiB

[startup+12.7004 s]
/proc/loadavg: 4.93 3.02 1.37 6/339 170625
/proc/meminfo: memFree=95887812/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=511128 CPUtime=16.45 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 30007 0 0 0 1624 21 0 0 20 0 20 0 18051581 19566772224 127782 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 127782 5886 1 0 557909 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=100288 CPUtime=12.44 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 9088 0 0 0 1231 13 0 0 20 0 20 0 18051582 19566772224 127782 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=484492 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 127782 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=182752 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 127782 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 127782 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 16.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 511128 KiB

[startup+25.5008 s]
/proc/loadavg: 5.01 3.10 1.42 5/339 170628
/proc/meminfo: memFree=95161148/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=845284 CPUtime=29.24 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 32614 0 0 0 2896 28 0 0 20 0 20 0 18051581 19566772224 211321 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 211321 5886 1 0 557909 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=484492 CPUtime=25.2 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 10627 0 0 0 2501 19 0 0 20 0 20 0 18051582 19566772224 211321 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=544204 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 211321 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 211321 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 211321 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 29.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 845284 KiB

[startup+51.1147 s]
/proc/loadavg: 5.20 3.33 1.55 5/343 170638
/proc/meminfo: memFree=93859992/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1280188 CPUtime=55.18 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 45627 0 0 0 5472 46 0 0 20 0 20 0 18051581 19566772224 320047 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 320047 5886 1 0 559054 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=1290712 CPUtime=50.11 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 12159 0 0 0 4978 33 0 0 20 0 20 0 18051582 19566772224 320047 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 60 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=1290712 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 320047 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 320047 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.28 4.34 5/326 171915
/proc/meminfo: memFree=73767344/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1563764 CPUtime=3258.84 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 121003 0 0 0 325555 329 0 0 20 0 20 0 18051581 19566772224 390941 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 390941 5917 1 0 559060 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=1563720 CPUtime=3247.85 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 49974 0 0 0 324601 184 0 0 20 0 20 0 18051582 19566772224 390941 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2198 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=1563720 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 390941 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4435 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 390941 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=1563720 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 390941 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3258.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1563764 KiB

[startup+3342.3 s]
/proc/loadavg: 4.81 4.43 4.39 7/324 172445
/proc/meminfo: memFree=79181104/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1604912 CPUtime=3318.77 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 122228 0 0 0 331543 334 0 0 20 0 20 0 18051581 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 401228 5917 1 0 559063 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=1604792 CPUtime=3307.5 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 50430 0 0 0 330564 186 0 0 20 0 20 0 18051582 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2198 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=2228 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=1604912 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4435 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=16012 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3318.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1604912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.58 4.43 4.39 5/324 172456
/proc/meminfo: memFree=77879720/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1604912 CPUtime=3378.64 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 122679 0 0 0 337526 338 0 0 20 0 20 0 18051581 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 401228 5917 1 0 559063 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=1604792 CPUtime=3367.33 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 50755 0 0 0 336545 188 0 0 20 0 20 0 18051582 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2198 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=1604912 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4552 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=1604912 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3378.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1604912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.40 4.38 4/324 172466
/proc/meminfo: memFree=76910456/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1604912 CPUtime=3438.52 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 123743 0 0 0 343510 342 0 0 20 0 20 0 18051581 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 401228 5917 1 0 559063 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=1604792 CPUtime=3427.17 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 51518 0 0 0 342527 190 0 0 20 0 20 0 18051582 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2198 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=15864 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=12668 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4686 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=-8816189261819454140 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 401228 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3438.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1604912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.34 4.36 5/328 172649
/proc/meminfo: memFree=76028492/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1615172 CPUtime=3498.41 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 124980 0 0 0 349494 347 0 0 20 0 20 0 18051581 19566772224 403793 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 403793 5917 1 0 559063 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=1604912 CPUtime=3486.8 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 51941 0 0 0 348489 191 0 0 20 0 20 0 18051582 19566772224 403793 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2201 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=1604912 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 403793 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=1604912 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4686 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 403793 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=1604912 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 403793 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3498.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1615172 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.34 4.36 6/331 172731
/proc/meminfo: memFree=113459820/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1615180 CPUtime=3555.56 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 125688 0 0 0 355205 351 0 0 20 0 20 0 18051581 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 403795 5917 1 0 559063 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=5516 CPUtime=3543.92 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 52414 0 0 0 354199 193 0 0 20 0 20 0 18051582 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2475 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=12668 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=1615180 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4821 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=19664 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3555.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1615180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.9 s]
/proc/loadavg: 4.26 4.31 4.35 5/331 172797
/proc/meminfo: memFree=112811224/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19108176 memory=1615180 CPUtime=3600.06 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 126523 0 0 0 359653 353 0 0 20 0 20 0 18051581 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4777044 403795 5917 1 0 559063 0
[pid=170548/tid=170550] ppid=170545 vsize=19108176 memory=0 CPUtime=3588.38 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) R 170545 170548 169659 0 -1 4194368 53105 0 0 0 358644 194 0 0 20 0 20 0 18051582 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2475 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19108176 memory=60516 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18051586 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19108176 memory=1615180 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4821 0 0 0 0 0 0 0 20 0 20 0 18051587 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170567] ppid=170545 vsize=19108176 memory=1615180 CPUtime=0 cores=1,3
/proc/170548/task/170567/stat : 170567 (Timer-0) S 170545 170548 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18051642 19566772224 403795 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1615180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.74 s, system=3.5538 s

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

[startup+3627.01 s]*
/proc/loadavg: 4.40 4.34 4.36 7/332 172800
/proc/meminfo: memFree=112750132/131655788 swapFree=131067352/131071996
[pid=170548] ppid=170545 vsize=19307868 memory=1615936 CPUtime=3600.27 cores=1,3
/proc/170548/stat : 170548 (java) S 170545 170548 169659 0 -1 1077936128 130263 0 0 0 359673 354 0 0 20 0 17 0 18051581 19771256832 403984 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
/proc/170548/statm: 4826967 403984 5916 1 0 560014 0
[pid=170548/tid=170550] ppid=170545 vsize=19307868 memory=-8601140171999322812 CPUtime=3588.48 cores=1,3
/proc/170548/task/170550/stat : 170550 (java) S 170545 170548 169659 0 -1 1077936192 53442 0 0 0 358654 194 0 0 20 0 17 0 18051582 19771256832 403984 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2475 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170559] ppid=170545 vsize=19307868 memory=-4421386504737024352 CPUtime=0 cores=1,3
/proc/170548/task/170559/stat : 170559 (Finalizer) S 170545 170548 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 17 0 18051586 19771256832 403984 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
[pid=170548/tid=170566] ppid=170545 vsize=19307868 memory=3316 CPUtime=0 cores=1,3
/proc/170548/task/170566/stat : 170566 (Common-Cleaner) S 170545 170548 169659 0 -1 1077936192 4821 0 0 0 0 0 0 0 20 0 17 0 18051587 19771256832 403984 134679101440 94168037142528 94168037146224 140721627626208 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94168037154040 94168037154832 94168050257920 140721627628459 140721627628641 140721627628641 140721627635656 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1615936 KiB

Child status: 143

Real time (s): 3627.03
CPU time (s): 3600.29
CPU user time (s): 3596.74
CPU system time (s): 3.5538
CPU usage (%): 99.2627
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1615936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.74
system time used= 3.5538
maximum resident set size= 1616800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1886280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101678
involuntary context switches= 5996


# summary of solver processes directly reported to runsolver:
#   pid: 170548
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3596.74
#   total CPU system time (s): 3.5538

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1961 second user time and 39.4825 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-24 13:30:17
IDJOB=4440486
IDBENCH=155341
IDSOLVER=3079
FILE ID=nodeC009/4440486-1721820617
RUNJOBID= nodeC009-1721820325-169708
SLURM_JOB_ID= 7891460
Free space on /tmp= 723504 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.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-4440486-1721820617/watcher-4440486-1721820617 -o /tmp/evaluation-result-4440486-1721820617/solver-4440486-1721820617 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721820325-169708 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440486-1721820617 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440486-1721820617.opb

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

MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27
RANDOM SEED=661698601

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3650.722
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.882
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.263
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.259
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3631.986
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.982
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.436
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.300
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        97379432 kB
MemAvailable:   105532188 kB
Buffers:          253616 kB
Cached:          8634288 kB
SwapCached:         2844 kB
Active:          2082016 kB
Inactive:       31408076 kB
Active(anon):       1588 kB
Inactive(anon): 24646408 kB
Active(file):    2080428 kB
Inactive(file):  6761668 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131067352 kB
Dirty:             99888 kB
Writeback:             0 kB
AnonPages:      24598404 kB
Mapped:           111868 kB
Shmem:             45700 kB
KReclaimable:     301716 kB
Slab:             417736 kB
SReclaimable:     301716 kB
SUnreclaim:       116020 kB
KernelStack:        5168 kB
PageTables:        58184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   32404940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24240128 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723516 MiB
End job on nodeC009 at 2024-07-24 14:30:44