Trace number 4440361

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)-42 3600.59 3530.6

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM13efe7890d7fc5aab9247ea9860b6d53
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark3558.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
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 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440361-1721765643.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
1.07/0.65	c ... done. Wall clock time 0.513s.
1.07/0.65	c declared #vars     1534
1.07/0.65	c #constraints  126163
1.07/0.65	c constraints type 
1.07/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 126163
1.07/0.65	c 126163 constraints processed.
1.07/0.66	c objective function length is 1534 literals
1.07/0.68	c SATISFIABLE
1.07/0.68	c OPTIMIZING...
1.07/0.68	c Got one! Elapsed wall clock time (in seconds):0.554
1.07/0.68	o -39
1.46/0.86	c Got one! Elapsed wall clock time (in seconds):0.735
1.46/0.87	o -40
1.46/0.87	c Got one! Elapsed wall clock time (in seconds):0.746
1.46/0.87	o -41
7.66/4.51	c cleaning 2518 clauses out of 5036 with flag 10590/5036
9.16/5.81	c Got one! Elapsed wall clock time (in seconds):5.686
9.16/5.81	o -42
11.50/7.82	c cleaning 3884 clauses out of 7772 with flag 6970/10290
15.25/11.29	c cleaning 4945 clauses out of 9889 with flag 20461/16291
19.44/15.14	c cleaning 5966 clauses out of 11943 with flag 36474/23290
25.09/20.75	c cleaning 6987 clauses out of 13979 with flag 54524/31292
33.58/28.55	c cleaning 7995 clauses out of 15990 with flag 75465/40290
39.84/34.26	c cleaning 8998 clauses out of 17996 with flag 96910/50291
46.46/40.55	c cleaning 9995 clauses out of 19997 with flag 119922/61290
55.56/50.69	c cleaning 11002 clauses out of 22003 with flag 145126/73291
65.14/59.60	c cleaning 12001 clauses out of 24002 with flag 172500/86292
75.25/69.19	c cleaning 12999 clauses out of 26000 with flag 202060/100291
87.20/82.13	c cleaning 14001 clauses out of 28001 with flag 233389/115291
99.50/93.74	c cleaning 14992 clauses out of 29999 with flag 266719/131290
114.30/115.82	c cleaning 16000 clauses out of 32008 with flag 302180/148291
128.43/129.24	c cleaning 17004 clauses out of 34007 with flag 340096/166290
144.99/157.46	c cleaning 18000 clauses out of 36005 with flag 379708/185292
162.79/174.69	c cleaning 19001 clauses out of 38003 with flag 421702/205290
181.98/193.16	c cleaning 19993 clauses out of 40002 with flag 465384/226290
205.36/214.65	c cleaning 21004 clauses out of 42009 with flag 511209/248290
230.11/238.90	c cleaning 22002 clauses out of 44007 with flag 559055/271292
254.50/262.32	c cleaning 22998 clauses out of 46005 with flag 609351/295292
281.91/289.20	c cleaning 24000 clauses out of 48006 with flag 661980/320291
311.76/318.30	c cleaning 25002 clauses out of 50009 with flag 716610/346294
342.66/348.56	c cleaning 26002 clauses out of 52003 with flag 773274/373290
372.86/378.18	c cleaning 27002 clauses out of 54004 with flag 832215/401293
408.90/410.57	c cleaning 28000 clauses out of 56000 with flag 893265/430291
445.42/445.91	c cleaning 28992 clauses out of 57999 with flag 955593/460290
484.78/484.65	c cleaning 29994 clauses out of 60007 with flag 1019964/491290
523.98/522.90	c cleaning 31007 clauses out of 62013 with flag 1086172/523290
564.79/563.79	c cleaning 31993 clauses out of 64006 with flag 1154632/556290
605.85/604.26	c cleaning 33000 clauses out of 66013 with flag 1225226/590290
647.14/642.44	c cleaning 34000 clauses out of 68013 with flag 1298361/625290
689.79/684.63	c cleaning 35001 clauses out of 70013 with flag 1374237/661290
733.36/727.55	c cleaning 36001 clauses out of 72013 with flag 1451837/698291
776.83/770.04	c cleaning 37002 clauses out of 74012 with flag 1531191/736291
821.78/816.02	c cleaning 38005 clauses out of 76009 with flag 1613485/775290
869.36/863.35	c cleaning 38999 clauses out of 78005 with flag 1697383/815291
928.23/917.30	c cleaning 39997 clauses out of 80005 with flag 1783082/856290
981.66/969.56	c cleaning 41000 clauses out of 82008 with flag 1871145/898290
1039.05/1026.68	c cleaning 42003 clauses out of 84008 with flag 1961376/941290
1092.88/1080.69	c cleaning 43004 clauses out of 86007 with flag 2053930/985292
1152.20/1138.54	c cleaning 43999 clauses out of 88002 with flag 2148708/1030291
1220.27/1201.01	c cleaning 45002 clauses out of 90004 with flag 2245380/1076292
1286.17/1265.38	c cleaning 45992 clauses out of 92000 with flag 2343476/1123290
1351.56/1329.33	c cleaning 47003 clauses out of 94011 with flag 2444127/1171293
1422.88/1399.63	c cleaning 48004 clauses out of 96007 with flag 2546885/1220292
1493.14/1468.61	c cleaning 49001 clauses out of 98002 with flag 2651844/1270291
1574.15/1544.10	c cleaning 49996 clauses out of 100000 with flag 2758458/1321290
1651.44/1619.98	c cleaning 51003 clauses out of 102006 with flag 2866962/1373292
1730.31/1697.53	c cleaning 51996 clauses out of 104002 with flag 2976416/1426291
1816.21/1782.28	c cleaning 53001 clauses out of 106007 with flag 3088085/1480292
1914.55/1874.60	c cleaning 54003 clauses out of 108006 with flag 3201962/1535292
1997.67/1958.63	c cleaning 54996 clauses out of 110001 with flag 3319102/1591290
2086.11/2048.59	c cleaning 55998 clauses out of 112005 with flag 3438426/1648290
2181.34/2142.97	c cleaning 57000 clauses out of 114008 with flag 3560357/1706291
2282.67/2239.03	c cleaning 58002 clauses out of 116007 with flag 3682787/1765290
2377.33/2332.43	c cleaning 58995 clauses out of 118005 with flag 3808944/1825290
2482.30/2436.75	c cleaning 60001 clauses out of 120010 with flag 3937400/1886290
2593.03/2540.82	c cleaning 61002 clauses out of 122010 with flag 4067695/1948291
2694.18/2640.33	c cleaning 61996 clauses out of 124007 with flag 4199456/2011290
2808.30/2753.69	c cleaning 62999 clauses out of 126011 with flag 4333299/2075290
2931.28/2871.41	c cleaning 64001 clauses out of 128012 with flag 4469488/2140290
3065.61/3005.74	c cleaning 65002 clauses out of 130012 with flag 4607632/2206291
3201.21/3141.40	c cleaning 65996 clauses out of 132009 with flag 4748124/2273290
3331.20/3265.78	c cleaning 67001 clauses out of 134014 with flag 4890491/2341291
3459.69/3393.78	c cleaning 67996 clauses out of 136012 with flag 5035048/2410290
3600.03/3530.28	c starts		: 684
3600.03/3530.28	c conflicts		: 2478802
3600.03/3530.28	c decisions		: 3554486
3600.03/3530.28	c propagations		: 14284226
3600.03/3530.28	c inspects		: 4439224767
3600.03/3530.28	c shortcuts		: 0
3600.03/3530.28	c learnt literals	: 0
3600.03/3530.28	c learnt binary clauses	: 0
3600.03/3530.28	c learnt ternary clauses	: 0
3600.03/3530.28	c learnt constraints	: 2478802
3600.03/3530.28	c ignored constraints	: 0
3600.03/3530.28	c root simplifications	: 0
3600.03/3530.28	c removed literals (reason simplification)	: 75657363
3600.03/3530.28	c reason swapping (by a shorter reason)	: 0
3600.03/3530.28	c Calls to reduceDB	: 66
3600.03/3530.28	c Number of update (reduction) of LBD	: 75958
3600.03/3530.28	c Imported unit clauses	: 0
3600.03/3530.28	c No decision after first conflict	: false
3600.03/3530.28	c number of reductions to clauses (during analyze)	: 0
3600.03/3530.28	c number of learned constraints concerned by reduction	: 0
3600.03/3530.28	c number of learning phase by resolution	: 0
3600.03/3530.28	c number of learning phase by cutting planes	: 0
3600.03/3530.28	c number of rounding to 1 operations	: 0
3600.03/3530.28	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3530.28	c number of reductions of the coefficients by power 2 	: 0
3600.03/3530.28	c number of right shift for reduction by power 2 	: 0
3600.03/3530.28	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3530.28	c number of ending skipping 	: 0
3600.03/3530.28	c number of internal skipping 	: 0
3600.03/3530.28	c number of derivation steps 	: 0
3600.03/3530.28	c number of skipped derivation steps 	: 0
3600.03/3530.28	c number of remaining unassigned 	: 0
3600.03/3530.28	c number of remaining assigned 	: 0
3600.03/3530.28	c number of falsified literals weakened from reason	: 0
3600.03/3530.28	c number of falsified literals weakened from conflict	: 0
3600.03/3530.28	c time for arithmetic operations	: 0
3600.03/3530.28	c minimum degree of deleted constraints	: null
3600.03/3530.28	c maximum degree of deleted constraints	: null
3600.03/3530.28	c number of deleted constraints	: 0
3600.03/3530.28	c speed (assignments/second)	: 4046.9631823971786
3600.03/3530.28	c non guided choices	: 0
3600.26/3530.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 136529
3600.26/3530.39	s SATISFIABLE
3600.26/3530.39	c Found 4 solution(s)
3600.26/3530.39	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 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 
3600.44/3530.43	c objective function=-42
3600.44/3530.43	c Total wall clock time (in seconds): 3530.301

Verifier Data 

OK	-42

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440361-1721765643/watcher-4440361-1721765643 -o /tmp/evaluation-result-4440361-1721765643/solver-4440361-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121378 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440361-1721765643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440361-1721765643.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
solver pid=121455, runsolver pid=121451
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 2.21 2.16 2.23 10/335 121511
/proc/meminfo: memFree=124634368/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=18975048 memory=64788 CPUtime=0.13 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 7228 0 0 0 11 2 0 0 20 0 18 0 13094570 19430449152 16197 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4743762 16197 5607 1 0 549329 0
[pid=121455/tid=121457] ppid=121451 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 5754 0 0 0 7 1 0 0 20 0 18 0 13094571 19430449152 16197 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094574 19430449152 16197 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=18975048 memory=14692998043288491 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13094574 19430449152 16197 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64788 KiB

[startup+0.207386 s]*
/proc/loadavg: 2.21 2.16 2.23 13/335 121511
/proc/meminfo: memFree=124572220/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=18975048 memory=74020 CPUtime=0.32 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 7741 0 0 0 30 2 0 0 20 0 18 0 13094570 19430449152 18505 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4743762 18505 5845 1 0 549688 0
[pid=121455/tid=121457] ppid=121451 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 5930 0 0 0 15 2 0 0 20 0 18 0 13094571 19430449152 18505 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=18975048 memory=674462 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094574 19430449152 18505 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13094574 19430449152 18505 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 74020 KiB

[startup+0.309387 s]*
/proc/loadavg: 2.21 2.16 2.23 12/336 121512
/proc/meminfo: memFree=124440416/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=18975048 memory=116432 CPUtime=0.52 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 9155 0 0 0 49 3 0 0 20 0 18 0 13094570 19430449152 29108 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4743762 29108 5845 1 0 550571 0
[pid=121455/tid=121457] ppid=121451 vsize=18975048 memory=-9104139258295001788 CPUtime=0.27 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 5951 0 0 0 24 3 0 0 20 0 18 0 13094571 19430449152 29108 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13094574 19430449152 29108 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13094574 19430449152 29108 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116432 KiB

[startup+0.701391 s]
/proc/loadavg: 2.91 2.30 2.28 15/340 121516
/proc/meminfo: memFree=124245944/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=183368 CPUtime=1.25 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 16748 0 0 0 120 5 0 0 20 0 20 0 13094570 19566772224 45842 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 45842 5899 1 0 555398 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=5552 CPUtime=0.6 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 6095 0 0 0 56 4 0 0 20 0 20 0 13094571 19566772224 45842 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 45842 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 45842 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183368 KiB

[startup+1.50739 s]
/proc/loadavg: 2.91 2.30 2.28 14/343 121519
/proc/meminfo: memFree=124116864/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=261740 CPUtime=2.84 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 24131 0 0 0 276 8 0 0 20 0 20 0 13094570 19566772224 65435 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 65435 5950 1 0 846822 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=12348 CPUtime=1.28 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 6491 0 0 0 123 5 0 0 20 0 20 0 13094571 19566772224 65435 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 65435 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 65435 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 65435 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 261740 KiB

[startup+3.10638 s]
/proc/loadavg: 2.91 2.30 2.28 9/343 121519
/proc/meminfo: memFree=122282352/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=789108 CPUtime=5.97 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 28029 0 0 0 576 21 0 0 20 0 20 0 13094570 19566772224 197277 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 197277 5950 1 0 1488134 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=0 CPUtime=2.62 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 6916 0 0 0 248 14 0 0 20 0 20 0 13094571 19566772224 197277 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 197277 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 197277 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 197277 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 789108 KiB

[startup+6.30028 s]
/proc/loadavg: 3.00 2.33 2.29 7/345 121521
/proc/meminfo: memFree=119171332/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=1798244 CPUtime=9.7 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 30516 0 0 0 921 49 0 0 20 0 20 0 13094570 19566772224 449561 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 449561 5950 1 0 2008318 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=0 CPUtime=5.47 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 7992 0 0 0 513 34 0 0 20 0 20 0 13094571 19566772224 449561 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 449561 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 449561 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=43496 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 449561 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 9.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1798244 KiB

[startup+12.7003 s]
/proc/loadavg: 3.08 2.36 2.30 5/345 121523
/proc/meminfo: memFree=114566980/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=2720464 CPUtime=16.91 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 32442 0 0 0 1614 77 0 0 20 0 20 0 13094570 19566772224 680116 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 680116 5950 1 0 2167079 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=186952 CPUtime=11.04 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 8443 0 0 0 1050 54 0 0 20 0 20 0 13094571 19566772224 680116 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=2720352 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 680116 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=789108 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 680116 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 680116 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 16.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2720464 KiB

[startup+25.5004 s]
/proc/loadavg: 3.30 2.43 2.32 6/345 121524
/proc/meminfo: memFree=105476992/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=6826688 CPUtime=30.21 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 35822 0 0 0 2837 184 0 0 20 0 20 0 13094570 19566772224 1706672 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 1706672 5950 1 0 2340480 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=2720352 CPUtime=23.14 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 10850 0 0 0 2166 148 0 0 20 0 20 0 13094571 19566772224 1706672 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=4381352 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 1706672 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 1706672 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=4898648 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 1706672 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 30.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6826688 KiB

[startup+51.1062 s]
/proc/loadavg: 3.70 2.61 2.39 5/345 121529
/proc/meminfo: memFree=96620344/131524600 swapFree=131071216/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=10136960 CPUtime=56.08 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 43582 0 0 0 5327 281 0 0 20 0 20 0 13094570 19566772224 2534240 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 2534240 5950 1 0 2829285 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=7666644 CPUtime=44.77 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 13672 0 0 0 4261 216 0 0 20 0 20 0 13094571 19566772224 2534240 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 189 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=7879680 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 2534240 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 2534240 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0

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

/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 265313 0 0 0 298797 2686 0 0 20 0 20 0 13094571 19566772224 4070094 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10388 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=5552 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070094 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=11576 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2542 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070094 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=43496 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070094 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3287.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.48 4.57 5/337 123465
/proc/meminfo: memFree=47147228/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=16280384 CPUtime=3348.12 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 716307 0 0 0 331815 2997 0 0 20 0 20 0 13094570 19566772224 4070096 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 4070096 5979 1 0 4086219 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=16280376 CPUtime=3071.44 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 268635 0 0 0 304420 2724 0 0 20 0 20 0 13094571 19566772224 4070096 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10504 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=-9104139258295001788 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070096 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=43496 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2543 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070096 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070096 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3348.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280384 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.45 4.55 5/338 123476
/proc/meminfo: memFree=44831732/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=16280436 CPUtime=3408.42 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 718368 0 0 0 337801 3041 0 0 20 0 20 0 13094570 19566772224 4070109 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 4070109 5979 1 0 4086219 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=16280376 CPUtime=3128.44 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 270218 0 0 0 310079 2765 0 0 20 0 20 0 13094571 19566772224 4070109 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10606 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=43496 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070109 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=43496 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2606 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070109 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=12348 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070109 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3408.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.39 4.53 5/339 123491
/proc/meminfo: memFree=43815548/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=16280444 CPUtime=3468.34 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 719269 0 0 0 343756 3078 0 0 20 0 20 0 13094570 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 4070111 5979 1 0 4086219 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=16280376 CPUtime=3185.62 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 270692 0 0 0 315762 2800 0 0 20 0 20 0 13094571 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10699 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=16280384 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2607 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3468.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280444 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.36 4.51 5/339 123502
/proc/meminfo: memFree=42300784/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=16280444 CPUtime=3528.36 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 723553 0 0 0 349716 3120 0 0 20 0 20 0 13094570 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 4070111 5979 1 0 4086219 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=16280376 CPUtime=3242.24 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 272597 0 0 0 321385 2839 0 0 20 0 20 0 13094571 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 10821 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=16280384 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2608 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3528.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.32 4.49 5/338 123512
/proc/meminfo: memFree=41385400/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=16280444 CPUtime=3588.19 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 728099 0 0 0 355661 3158 0 0 20 0 20 0 13094570 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 4070111 5979 1 0 4086219 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=16280444 CPUtime=3299.9 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 275862 0 0 0 327115 2875 0 0 20 0 20 0 13094571 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 10907 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2706 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3530.2 s]
/proc/loadavg: 4.16 4.32 4.48 6/338 123514
/proc/meminfo: memFree=41286704/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19108176 memory=16280444 CPUtime=3600.03 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 755138 0 0 0 356837 3166 0 0 20 0 20 0 13094570 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4777044 4070111 5979 1 0 4086219 0
[pid=121455/tid=121457] ppid=121451 vsize=19108176 memory=5552 CPUtime=3307.32 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 284158 0 0 0 327854 2878 0 0 20 0 20 0 13094571 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10907 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19108176 memory=16012 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19108176 memory=2228 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2706 0 0 0 0 0 0 0 20 0 20 0 13094574 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121518] ppid=121451 vsize=19108176 memory=198340509722 CPUtime=0 cores=1,3
/proc/121455/task/121518/stat : 121518 (Timer-0) S 121451 121455 121366 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13094637 19566772224 4070111 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16280444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3568.86 s, system=31.7368 s

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

[startup+3530.4 s]
/proc/loadavg: 4.16 4.32 4.48 6/338 123514
/proc/meminfo: memFree=41286704/131524600 swapFree=131064012/131071996
[pid=121455] ppid=121451 vsize=19307868 memory=16281352 CPUtime=3600.44 cores=1,3
/proc/121455/stat : 121455 (java) S 121451 121455 121366 0 -1 1077936128 758430 0 0 0 356877 3167 0 0 20 0 21 0 13094570 19771256832 4070338 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
/proc/121455/statm: 4826967 4070338 5978 1 0 4087211 0
[pid=121455/tid=121457] ppid=121451 vsize=19307868 memory=43496 CPUtime=3307.46 cores=1,3
/proc/121455/task/121457/stat : 121457 (java) R 121451 121455 121366 0 -1 4194368 284231 0 0 0 327867 2879 0 0 20 0 21 0 13094571 19771256832 4070338 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 10907 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121504] ppid=121451 vsize=19307868 memory=12348 CPUtime=0 cores=1,3
/proc/121455/task/121504/stat : 121504 (Finalizer) S 121451 121455 121366 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13094574 19771256832 4070338 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
[pid=121455/tid=121511] ppid=121451 vsize=19307868 memory=16280444 CPUtime=0 cores=1,3
/proc/121455/task/121511/stat : 121511 (Common-Cleaner) S 121451 121455 121366 0 -1 1077936192 2706 0 0 0 0 0 0 0 20 0 21 0 13094574 19771256832 4070338 134679101440 94625253105664 94625253109360 140729082743232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94625253117176 94625253117968 94625253142528 140729082749867 140729082750049 140729082750049 140729082757064 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16281352 KiB

[startup+3530.5 s]*
/proc/loadavg: 4.16 4.32 4.48 5/320 123517
/proc/meminfo: memFree=57567364/131524600 swapFree=131064012/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3530.6
CPU time (s): 3600.59
CPU user time (s): 3568.86
CPU system time (s): 31.7368
CPU usage (%): 101.983
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16281352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.86
system time used= 31.7368
maximum resident set size= 16282264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 758729
page faults= 0
swaps= 0
block input operations= 8
block output operations= 51523296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133944
involuntary context switches= 27247


# summary of solver processes directly reported to runsolver:
#   pid: 121455
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3568.86
#   total CPU system time (s): 31.7368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6666 second user time and 17.5144 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-23 22:14:03
IDJOB=4440361
IDBENCH=146702
IDSOLVER=3079
FILE ID=nodeC035/4440361-1721765643
RUNJOBID= nodeC035-1721765643-121378
SLURM_JOB_ID= 7770671
Free space on /tmp= 890056 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.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-4440361-1721765643/watcher-4440361-1721765643 -o /tmp/evaluation-result-4440361-1721765643/solver-4440361-1721765643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721765643-121378 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440361-1721765643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440361-1721765643.opb

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

MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53
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		: 3604.869
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		: 3594.587
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		: 3612.060
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		: 3585.143
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		: 3627.923
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		: 3336.208
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		: 3641.363
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		: 3595.787
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:        124784184 kB
MemAvailable:   129624432 kB
Buffers:          178840 kB
Cached:          5404024 kB
SwapCached:           64 kB
Active:          1105416 kB
Inactive:        4897596 kB
Active(anon):       1544 kB
Inactive(anon):   456116 kB
Active(file):    1103872 kB
Inactive(file):  4441480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             10928 kB
Writeback:            12 kB
AnonPages:        419280 kB
Mapped:           114384 kB
Shmem:             37496 kB
KReclaimable:     269084 kB
Slab:             377588 kB
SReclaimable:     269084 kB
SUnreclaim:       108504 kB
KernelStack:        4148 kB
PageTables:        10548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5004432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20608 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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:12:54