Trace number 4440360

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)-40 3600.78 3481.25

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM800a2d87d48167b6ff5ac999f92ec0b3
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-53
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
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 1272
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 1272
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 1272
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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.20	c version CUSTOM.v20240707
0.29/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.24	c java.vm.version	22.0.1+8-16
0.29/0.24	c java.vm.vendor	Oracle Corporation
0.29/0.24	c sun.arch.data.model	64
0.29/0.24	c java.version		22.0.1
0.29/0.24	c os.name		Linux
0.29/0.24	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.24	c os.arch		amd64
0.29/0.24	c Free memory 		2113181440
0.29/0.25	c Max memory 		16282288128
0.29/0.25	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.44/0.36	--- Begin Solver configuration ---
0.44/0.36	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.36	Learn all clauses as in MiniSAT
0.44/0.36	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.36	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.36	Expensive reason simplification
0.44/0.36	Glucose 2.1 dynamic restart strategy
0.44/0.36	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.44/0.36	timeout=2147483s
0.44/0.36	DB Simplification allowed=false
0.44/0.36	Listener: none
0.44/0.36	--- End Solver configuration ---
0.44/0.36	c Pseudo Boolean Optimization by upper bound
0.44/0.36	c --- Begin Solver configuration ---
0.44/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.36	c Learn all clauses as in MiniSAT
0.44/0.36	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.36	c Expensive reason simplification
0.44/0.36	c Glucose 2.1 dynamic restart strategy
0.44/0.36	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.44/0.36	c timeout=2147483s
0.44/0.36	c DB Simplification allowed=false
0.44/0.36	c Listener: none
0.44/0.36	c --- End Solver configuration ---
0.44/0.37	c solving HOME/instance-4440360-1721765594.opb
0.44/0.37	c reading problem ... 
0.44/0.37	c using VERIPB proof format
0.44/0.38	c  objective function found
1.91/1.13	c ... done. Wall clock time 0.755s.
1.91/1.13	c declared #vars     1272
1.91/1.13	c #constraints  94289
1.91/1.13	c constraints type 
1.91/1.13	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94289
1.91/1.13	c 94289 constraints processed.
1.91/1.14	c objective function length is 1272 literals
1.91/1.18	c SATISFIABLE
1.91/1.18	c OPTIMIZING...
1.91/1.18	c Got one! Elapsed wall clock time (in seconds):0.814
1.91/1.18	o -39
3.48/1.96	c Got one! Elapsed wall clock time (in seconds):1.599
3.48/1.96	o -40
8.60/5.05	c cleaning 2773 clauses out of 5545 with flag 11459/5545
13.61/8.92	c cleaning 4384 clauses out of 8772 with flag 24594/11545
18.76/13.72	c cleaning 5694 clauses out of 11388 with flag 39262/18545
24.80/19.01	c cleaning 6847 clauses out of 13694 with flag 56103/26545
30.34/24.04	c cleaning 7919 clauses out of 15847 with flag 75130/35545
38.81/31.89	c cleaning 8963 clauses out of 17929 with flag 96210/45546
47.50/39.96	c cleaning 9983 clauses out of 19968 with flag 119507/56548
56.33/48.96	c cleaning 10990 clauses out of 21982 with flag 144799/68545
65.67/57.48	c cleaning 11998 clauses out of 23995 with flag 172121/81548
76.09/67.12	c cleaning 12997 clauses out of 25994 with flag 201634/95545
86.41/77.53	c cleaning 13996 clauses out of 27997 with flag 233446/110545
98.75/88.88	c cleaning 14997 clauses out of 30001 with flag 267270/126545
112.88/101.89	c cleaning 16003 clauses out of 32006 with flag 302985/143547
128.06/116.69	c cleaning 16995 clauses out of 34003 with flag 341095/161547
145.37/132.89	c cleaning 18003 clauses out of 36006 with flag 381246/180545
163.89/150.74	c cleaning 19002 clauses out of 38003 with flag 422998/200545
182.15/167.92	c cleaning 19999 clauses out of 40004 with flag 467064/221548
203.81/189.14	c cleaning 21001 clauses out of 42002 with flag 513374/243545
226.43/212.98	c cleaning 21990 clauses out of 44001 with flag 561998/266545
250.45/238.41	c cleaning 23006 clauses out of 46012 with flag 612614/290546
282.10/267.17	c cleaning 23998 clauses out of 48006 with flag 665799/315546
311.26/295.07	c cleaning 25002 clauses out of 50010 with flag 720640/341548
343.04/325.75	c cleaning 26002 clauses out of 52005 with flag 777698/368545
376.01/357.64	c cleaning 27003 clauses out of 54005 with flag 836601/396547
411.47/392.49	c cleaning 27996 clauses out of 56001 with flag 897567/425546
445.28/425.17	c cleaning 29003 clauses out of 58006 with flag 960908/455547
478.66/457.23	c cleaning 29996 clauses out of 60001 with flag 1027476/486545
514.77/492.97	c cleaning 30994 clauses out of 62006 with flag 1094988/518546
558.14/532.13	c cleaning 32004 clauses out of 64011 with flag 1164341/551545
599.01/571.29	c cleaning 33004 clauses out of 66007 with flag 1235581/585545
639.08/610.29	c cleaning 33999 clauses out of 68003 with flag 1309101/620545
687.17/657.44	c cleaning 34995 clauses out of 70004 with flag 1384748/656545
738.55/707.59	c cleaning 36000 clauses out of 72011 with flag 1462153/693547
790.02/758.18	c cleaning 37004 clauses out of 74009 with flag 1541482/731545
843.99/808.15	c cleaning 38002 clauses out of 76006 with flag 1622996/770546
897.90/860.41	c cleaning 39001 clauses out of 78004 with flag 1706336/810546
952.42/913.19	c cleaning 39997 clauses out of 80003 with flag 1792059/851546
1008.51/967.58	c cleaning 40998 clauses out of 82006 with flag 1880305/893546
1063.64/1021.07	c cleaning 41997 clauses out of 84009 with flag 1971083/936547
1121.87/1077.62	c cleaning 42998 clauses out of 86010 with flag 2064554/980545
1180.69/1135.00	c cleaning 43999 clauses out of 88012 with flag 2160720/1025545
1240.02/1192.61	c cleaning 44998 clauses out of 90013 with flag 2259282/1071545
1304.92/1256.83	c cleaning 46005 clauses out of 92015 with flag 2359784/1118545
1386.64/1333.42	c cleaning 46992 clauses out of 94010 with flag 2460845/1166545
1460.31/1405.03	c cleaning 48008 clauses out of 96018 with flag 2562268/1215545
1527.45/1470.05	c cleaning 49006 clauses out of 98011 with flag 2665902/1265546
1605.91/1546.59	c cleaning 49998 clauses out of 100004 with flag 2772497/1316545
1682.71/1621.41	c cleaning 51001 clauses out of 102008 with flag 2881852/1368547
1764.19/1700.58	c cleaning 52000 clauses out of 104008 with flag 2992283/1421548
1856.90/1791.49	c cleaning 52995 clauses out of 106006 with flag 3105563/1475546
1955.48/1882.70	c cleaning 54004 clauses out of 108010 with flag 3221173/1530545
2051.54/1976.38	c cleaning 54993 clauses out of 110006 with flag 3338650/1586545
2137.73/2060.23	c cleaning 56001 clauses out of 112014 with flag 3458617/1643546
2245.58/2165.08	c cleaning 57005 clauses out of 114014 with flag 3580310/1701547
2350.08/2267.41	c cleaning 57996 clauses out of 116007 with flag 3703290/1760545
2457.08/2372.61	c cleaning 59006 clauses out of 118012 with flag 3829732/1820546
2557.71/2465.76	c cleaning 59997 clauses out of 120005 with flag 3958329/1881545
2660.91/2566.98	c cleaning 61000 clauses out of 122009 with flag 4088892/1943546
2768.21/2672.13	c cleaning 62002 clauses out of 124009 with flag 4221831/2006546
2883.95/2785.30	c cleaning 63002 clauses out of 126006 with flag 4356883/2070545
2995.35/2895.15	c cleaning 63999 clauses out of 128005 with flag 4493988/2135546
3119.13/3009.91	c cleaning 65003 clauses out of 130007 with flag 4633568/2201547
3240.22/3127.83	c cleaning 65996 clauses out of 132002 with flag 4774424/2268545
3372.19/3257.57	c cleaning 67000 clauses out of 134007 with flag 4917810/2336546
3506.83/3389.46	c cleaning 67996 clauses out of 136006 with flag 5062784/2405545
3600.28/3480.97	c starts		: 135
3600.28/3480.98	c conflicts		: 2460394
3600.28/3480.98	c decisions		: 2724320
3600.28/3480.98	c propagations		: 13751271
3600.28/3480.98	c inspects		: 5093648294
3600.28/3480.98	c shortcuts		: 0
3600.28/3480.98	c learnt literals	: 0
3600.28/3480.98	c learnt binary clauses	: 0
3600.28/3480.98	c learnt ternary clauses	: 0
3600.28/3480.98	c learnt constraints	: 2460394
3600.28/3480.98	c ignored constraints	: 0
3600.28/3480.98	c root simplifications	: 0
3600.28/3480.98	c removed literals (reason simplification)	: 83989688
3600.28/3480.98	c reason swapping (by a shorter reason)	: 0
3600.28/3480.98	c Calls to reduceDB	: 65
3600.28/3480.98	c Number of update (reduction) of LBD	: 105840
3600.28/3480.98	c Imported unit clauses	: 0
3600.28/3480.98	c No decision after first conflict	: false
3600.28/3480.98	c number of reductions to clauses (during analyze)	: 0
3600.28/3480.98	c number of learned constraints concerned by reduction	: 0
3600.28/3480.98	c number of learning phase by resolution	: 0
3600.28/3480.98	c number of learning phase by cutting planes	: 0
3600.28/3480.98	c number of rounding to 1 operations	: 0
3600.28/3480.98	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.28/3480.98	c number of reductions of the coefficients by power 2 	: 0
3600.28/3480.98	c number of right shift for reduction by power 2 	: 0
3600.28/3480.98	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.28/3480.98	c number of ending skipping 	: 0
3600.28/3480.98	c number of internal skipping 	: 0
3600.28/3480.98	c number of derivation steps 	: 0
3600.28/3480.98	c number of skipped derivation steps 	: 0
3600.28/3480.98	c number of remaining unassigned 	: 0
3600.28/3480.98	c number of remaining assigned 	: 0
3600.28/3480.98	c number of falsified literals weakened from reason	: 0
3600.28/3480.98	c number of falsified literals weakened from conflict	: 0
3600.28/3480.98	c time for arithmetic operations	: 0
3600.28/3480.98	c minimum degree of deleted constraints	: null
3600.28/3480.98	c maximum degree of deleted constraints	: null
3600.28/3480.98	c number of deleted constraints	: 0
3600.28/3480.99	c speed (assignments/second)	: 3951.7179188239857
3600.28/3480.99	c non guided choices	: 0
3600.66/3481.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 122859
3600.66/3481.12	s SATISFIABLE
3600.66/3481.12	c Found 2 solution(s)
3600.66/3481.12	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 
3600.66/3481.15	c objective function=-40
3600.66/3481.15	c Total wall clock time (in seconds): 3480.781

Verifier Data 

OK	-40

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440360-1721765594/watcher-4440360-1721765594 -o /tmp/evaluation-result-4440360-1721765594/solver-4440360-1721765594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721765594-127388 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440360-1721765594 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440360-1721765594.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=127438, runsolver pid=127430

[startup+0.100382 s]*
/proc/loadavg: 2.32 2.18 2.12 13/320 127517
/proc/meminfo: memFree=124817896/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=18975048 memory=56896 CPUtime=0.12 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 6311 0 0 0 8 4 0 0 20 0 18 0 12548798 19430449152 14224 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4743762 14224 5556 1 0 550755 0
[pid=127438/tid=127450] ppid=127430 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) D 127430 127438 127376 0 -1 4194368 5273 0 0 0 5 3 0 0 20 0 18 0 12548799 19430449152 14224 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=18975048 memory=3637 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548805 19430449152 14224 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12548806 19430449152 14224 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56896 KiB

[startup+0.221604 s]*
/proc/loadavg: 2.32 2.18 2.12 14/320 127517
/proc/meminfo: memFree=124798352/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=18975048 memory=61884 CPUtime=0.29 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 6986 0 0 0 24 5 0 0 20 0 18 0 12548798 19430449152 15471 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4743762 15471 5613 1 0 551325 0
[pid=127438/tid=127450] ppid=127430 vsize=18975048 memory=664970851429515395 CPUtime=0.18 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 5593 0 0 0 15 3 0 0 20 0 18 0 12548799 19430449152 15471 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=18975048 memory=3637 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548805 19430449152 15471 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12548806 19430449152 15471 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61884 KiB

[startup+0.31572 s]*
/proc/loadavg: 2.32 2.18 2.12 14/320 127517
/proc/meminfo: memFree=124776472/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=18975048 memory=67484 CPUtime=0.44 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 7243 0 0 0 39 5 0 0 20 0 18 0 12548798 19430449152 16871 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4743762 16871 5757 1 0 551504 0
[pid=127438/tid=127450] ppid=127430 vsize=18975048 memory=-8960586994402763452 CPUtime=0.26 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 5739 0 0 0 23 3 0 0 20 0 18 0 12548799 19430449152 16871 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548805 19430449152 16871 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12548806 19430449152 16871 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67484 KiB

[startup+0.700956 s]
/proc/loadavg: 2.32 2.18 2.12 13/320 127517
/proc/meminfo: memFree=124735228/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=18975048 memory=103708 CPUtime=1.12 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 9032 0 0 0 105 7 0 0 20 0 18 0 12548798 19430449152 25927 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4743762 25927 5843 1 0 552651 0
[pid=127438/tid=127450] ppid=127430 vsize=18975048 memory=5472 CPUtime=0.58 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 5888 0 0 0 53 5 0 0 20 0 18 0 12548799 19430449152 25927 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=18975048 memory=12932 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548805 19430449152 25927 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12548806 19430449152 25927 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 103708 KiB

[startup+1.50136 s]
/proc/loadavg: 2.32 2.18 2.12 16/325 127522
/proc/meminfo: memFree=124359376/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=184480 CPUtime=2.69 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 20729 0 0 0 256 13 0 0 20 0 20 0 12548798 19566772224 46120 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 46120 5889 1 0 556705 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=0 CPUtime=1.26 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 7450 0 0 0 119 7 0 0 20 0 20 0 12548799 19566772224 46120 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 46120 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=12932 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 46120 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184480 KiB

[startup+3.11195 s]
/proc/loadavg: 3.18 2.36 2.18 13/328 127525
/proc/meminfo: memFree=123199692/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=522804 CPUtime=5.83 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 23639 0 0 0 561 22 0 0 20 0 20 0 12548798 19566772224 130701 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 130701 5906 1 0 997746 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=12932 CPUtime=2.67 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 8010 0 0 0 254 13 0 0 20 0 20 0 12548799 19566772224 130701 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 130701 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 130701 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=122140 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 130701 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 522804 KiB

[startup+6.31095 s]
/proc/loadavg: 3.18 2.36 2.18 8/328 127525
/proc/meminfo: memFree=118683264/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=1632960 CPUtime=10.7 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 26390 0 0 0 1023 47 0 0 20 0 20 0 12548798 19566772224 408240 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 408240 5906 1 0 2000468 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=0 CPUtime=5.42 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) S 127430 127438 127376 0 -1 1077936192 8720 0 0 0 511 31 0 0 20 0 20 0 12548799 19566772224 408240 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548800 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 408240 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=-6959031785539000958 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 408240 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 408240 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 10.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1632960 KiB

[startup+12.7005 s]
/proc/loadavg: 3.48 2.44 2.21 7/331 127530
/proc/meminfo: memFree=110454608/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=2972940 CPUtime=17.66 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 28158 0 0 0 1685 81 0 0 20 0 20 0 12548798 19566772224 743235 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 743235 5906 1 0 2391096 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=2886924 CPUtime=10.88 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 9306 0 0 0 1031 57 0 0 20 0 20 0 12548799 19566772224 743235 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548821 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=2886924 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 743235 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 743235 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 743235 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 17.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2972940 KiB

[startup+25.5003 s]
/proc/loadavg: 3.98 2.60 2.27 9/331 127531
/proc/meminfo: memFree=98785516/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=5579472 CPUtime=31.9 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 30854 0 0 0 3041 149 0 0 20 0 20 0 12548798 19566772224 1394868 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 1394868 5906 1 0 2973895 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=2886924 CPUtime=22.2 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 10244 0 0 0 2109 111 0 0 20 0 20 0 12548799 19566772224 1394868 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548821 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 1394868 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=4896912 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 1394868 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 1394868 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5579472 KiB

[startup+51.115 s]
/proc/loadavg: 4.42 2.82 2.35 8/332 127537
/proc/meminfo: memFree=87666644/131655788 swapFree=131071996/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=7574592 CPUtime=58.6 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 34181 0 0 0 5636 224 0 0 20 0 20 0 12548798 19566772224 1893648 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 1893648 5906 1 0 3197420 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=11672 CPUtime=44.98 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 12387 0 0 0 4331 167 0 0 20 0 20 0 12548799 19566772224 1893648 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12548895 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=7568196 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 1893648 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=7166788 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 1893648 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 1893648 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0

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

/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072672 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072672 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=-9176759776516547260 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072672 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290688 KiB

[startup+3162.3 s]
/proc/loadavg: 4.48 4.36 4.26 7/322 129299
/proc/meminfo: memFree=676532/131655788 swapFree=131071728/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290696 CPUtime=3275.76 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 628123 0 0 0 324783 2793 0 0 20 0 20 0 12548798 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072674 5922 1 0 4085928 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=16290688 CPUtime=2956.56 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 227747 0 0 0 293292 2364 0 0 20 0 20 0 12548799 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12552986 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=49436 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3206 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=-9176759776516547260 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3275.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.33 4.25 7/323 129311
/proc/meminfo: memFree=642280/131655788 swapFree=131071472/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290696 CPUtime=3336.6 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 629625 0 0 0 330834 2826 0 0 20 0 20 0 12548798 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072674 5922 1 0 4085928 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=16290688 CPUtime=3013.92 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 228709 0 0 0 299000 2392 0 0 20 0 20 0 12548799 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553056 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=16287640 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=16287640 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3300 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3336.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290696 KiB

[startup+3282.3 s]
/proc/loadavg: 4.56 4.38 4.27 7/323 129321
/proc/meminfo: memFree=625900/131655788 swapFree=131071472/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290696 CPUtime=3397.71 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 636565 0 0 0 336910 2861 0 0 20 0 20 0 12548798 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072674 5922 1 0 4085928 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=16290696 CPUtime=3071.34 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 232139 0 0 0 304711 2423 0 0 20 0 20 0 12548799 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553091 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=16290696 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=16290696 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3300 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=16290692 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3397.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.55 4.41 4.29 7/323 129331
/proc/meminfo: memFree=578152/131655788 swapFree=131071472/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290696 CPUtime=3458.98 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 638462 0 0 0 343001 2897 0 0 20 0 20 0 12548798 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072674 5922 1 0 4085928 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=16290696 CPUtime=3128.51 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 233499 0 0 0 310395 2456 0 0 20 0 20 0 12548799 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553146 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=16290696 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=11672 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3394 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=16290696 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072674 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3458.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.38 4.28 7/322 129342
/proc/meminfo: memFree=556348/131655788 swapFree=131071472/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290748 CPUtime=3520.13 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 646167 0 0 0 349082 2931 0 0 20 0 20 0 12548798 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072687 5922 1 0 4085939 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=0 CPUtime=3186.02 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 236993 0 0 0 316116 2486 0 0 20 0 20 0 12548799 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553183 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=16290708 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=16290748 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3394 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=-9176759776516547260 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3520.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.34 4.27 7/325 129359
/proc/meminfo: memFree=679548/131655788 swapFree=131071472/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290748 CPUtime=3581.21 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 648723 0 0 0 355152 2969 0 0 20 0 20 0 12548798 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072687 5922 1 0 4085939 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=0 CPUtime=3242.89 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) R 127430 127438 127376 0 -1 4194368 239056 0 0 0 321769 2520 0 0 20 0 20 0 12548799 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553259 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=49436 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=49436 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=2032 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3480.8 s]
/proc/loadavg: 4.36 4.37 4.28 6/325 129430
/proc/meminfo: memFree=34799244/131655788 swapFree=131071472/131071996
[pid=127438] ppid=127430 vsize=19108176 memory=16290748 CPUtime=3600.06 cores=1,3
/proc/127438/stat : 127438 (java) S 127430 127438 127376 0 -1 1077936128 652009 0 0 0 357028 2978 0 0 20 0 20 0 12548798 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
/proc/127438/statm: 4777044 4072687 5922 1 0 4085939 0
[pid=127438/tid=127450] ppid=127430 vsize=19108176 memory=16290748 CPUtime=3260.29 cores=1,3
/proc/127438/task/127450/stat : 127450 (java) S 127430 127438 127376 0 -1 1077936192 240031 0 0 0 323501 2528 0 0 20 0 20 0 12548799 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12553289 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127486] ppid=127430 vsize=19108176 memory=49436 CPUtime=0 cores=1,3
/proc/127438/task/127486/stat : 127486 (Finalizer) S 127430 127438 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548805 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127515] ppid=127430 vsize=19108176 memory=12928 CPUtime=0 cores=1,3
/proc/127438/task/127515/stat : 127515 (Common-Cleaner) S 127430 127438 127376 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 12548806 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
[pid=127438/tid=127525] ppid=127430 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/127438/task/127525/stat : 127525 (Timer-0) S 127430 127438 127376 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 12548914 19566772224 4072687 134679101440 94476762509312 94476762513008 140727399065344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94476762520824 94476762521616 94476783599616 140727399068587 140727399068769 140727399068769 140727399075784 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.94 s, system=29.8457 s

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

[startup+3481.21 s]*
/proc/loadavg: 4.36 4.37 4.28 5/307 129433
/proc/meminfo: memFree=50721440/131655788 swapFree=131071472/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): 3481.25
CPU time (s): 3600.78
CPU user time (s): 3570.94
CPU system time (s): 29.8457
CPU usage (%): 103.434
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16291396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.94
system time used= 29.8457
maximum resident set size= 16292312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656449
page faults= 0
swaps= 0
block input operations= 8
block output operations= 41087768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138591
involuntary context switches= 16074


# summary of solver processes directly reported to runsolver:
#   pid: 127438
#   total CPU time (s): 3600.78
#   total CPU user time (s): 3570.94
#   total CPU system time (s): 29.8457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0099 second user time and 42.0098 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-23 22:13:14
IDJOB=4440360
IDBENCH=146673
IDSOLVER=3079
FILE ID=nodeC008/4440360-1721765594
RUNJOBID= nodeC008-1721765594-127388
SLURM_JOB_ID= 7770668
Free space on /tmp= 723764 MiB

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

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

MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=2004806814

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.122
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.19
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		: 1197.120
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.33
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.132
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.19
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		: 2106.319
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.122
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.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.131
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.33
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.123
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.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124959904 kB
MemAvailable:   129916324 kB
Buffers:          193284 kB
Cached:          5548144 kB
SwapCached:            0 kB
Active:          1253852 kB
Inactive:        4819632 kB
Active(anon):       1348 kB
Inactive(anon):   376600 kB
Active(file):    1252504 kB
Inactive(file):  4443032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10504 kB
Writeback:            20 kB
AnonPages:        331468 kB
Mapped:           106820 kB
Shmem:             45896 kB
KReclaimable:     201828 kB
Slab:             305016 kB
SReclaimable:     201828 kB
SUnreclaim:       103188 kB
KernelStack:        3776 kB
PageTables:        10108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     661884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19424 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      275272 kB
DirectMap2M:    27940864 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-23 23:11:16