Trace number 4498424

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)-44 3600.28 3596.34

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa48c66dfa619fe9822eb3addabc6673c
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-93
Best CPU time to get the best result obtained on this benchmark72001.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

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.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.12/0.10	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4498424-1751393793.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
2.26/1.23	c ... done. Wall clock time 1.09s.
2.26/1.23	c declared #vars     2000
2.26/1.23	c internal #vars     77286
2.26/1.23	c #constraints  153574
2.26/1.23	c constraints type 
2.26/1.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
2.26/1.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2002
2.26/1.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75286
2.26/1.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 75286
2.26/1.23	c 153574 constraints processed.
2.26/1.24	c objective function length is 1000 literals
47.61/45.35	c cleaning 2500 clauses out of 5000 with flag 285384/5000
83.57/81.24	c cleaning 4241 clauses out of 8500 with flag 304330/11000
135.39/133.02	c cleaning 5623 clauses out of 11259 with flag 403247/18000
137.88/135.53	c SATISFIABLE
137.88/135.53	c OPTIMIZING...
137.88/135.53	c Got one! Elapsed wall clock time (in seconds):135.395
137.88/135.53	o -39
173.70/171.30	c cleaning 5490 clauses out of 10987 with flag 235092/23351
201.33/198.90	c cleaning 5746 clauses out of 11498 with flag 255854/29352
245.34/243.09	c cleaning 6369 clauses out of 12752 with flag 303986/36352
246.83/244.60	c Got one! Elapsed wall clock time (in seconds):244.468
246.95/244.60	o -42
284.53/282.29	c cleaning 5797 clauses out of 11603 with flag 197052/41572
298.49/296.20	c Got one! Elapsed wall clock time (in seconds):296.061
298.49/296.20	o -44
323.76/321.50	c cleaning 5804 clauses out of 11655 with flag 187458/47421
353.39/351.13	c cleaning 5904 clauses out of 11848 with flag 276839/53418
390.22/388.10	c cleaning 6478 clauses out of 12956 with flag 369859/60430
433.83/431.78	c cleaning 7236 clauses out of 14471 with flag 509670/68423
487.33/485.36	c cleaning 8121 clauses out of 16242 with flag 622841/77430
542.90/540.76	c cleaning 9051 clauses out of 18101 with flag 735316/87410
608.57/606.58	c cleaning 10026 clauses out of 20052 with flag 860859/98412
684.02/682.16	c cleaning 11018 clauses out of 22035 with flag 993449/110421
760.65/758.61	c cleaning 12007 clauses out of 24013 with flag 1124687/123417
845.22/843.08	c cleaning 12986 clauses out of 26001 with flag 1283506/137412
947.67/945.68	c cleaning 14013 clauses out of 28031 with flag 1436663/152428
1061.91/1059.84	c cleaning 15000 clauses out of 30000 with flag 1593654/168410
1193.58/1191.46	c cleaning 16001 clauses out of 32001 with flag 1761224/185411
1328.35/1326.13	c cleaning 17005 clauses out of 34009 with flag 1923736/203420
1440.94/1438.99	c cleaning 18036 clauses out of 36071 with flag 2003029/222487
1552.89/1550.57	c cleaning 18979 clauses out of 37958 with flag 2193138/242410
1695.12/1692.77	c cleaning 19951 clauses out of 39987 with flag 2369084/263418
1878.91/1876.65	c cleaning 21019 clauses out of 42037 with flag 2532826/285419
2071.70/2069.59	c cleaning 22006 clauses out of 44011 with flag 2721252/308412
2275.62/2272.43	c cleaning 23007 clauses out of 46013 with flag 2921717/332420
2453.83/2450.75	c cleaning 24019 clauses out of 48038 with flag 3117095/357452
2644.88/2641.69	c cleaning 24998 clauses out of 49996 with flag 3296050/383429
2840.27/2837.18	c cleaning 26018 clauses out of 52036 with flag 3491972/410467
3061.68/3058.48	c cleaning 26992 clauses out of 53984 with flag 3675455/438433
3304.76/3301.71	c cleaning 27991 clauses out of 55981 with flag 3865166/467422
3496.45/3493.35	c cleaning 28992 clauses out of 57983 with flag 4047455/497415
3600.05/3596.22	c starts		: 4491
3600.05/3596.23	c conflicts		: 511386
3600.05/3596.23	c decisions		: 18207753
3600.05/3596.23	c propagations		: 758672008
3600.05/3596.23	c inspects		: 18234879412
3600.05/3596.23	c shortcuts		: 0
3600.05/3596.23	c learnt literals	: 0
3600.05/3596.23	c learnt binary clauses	: 71
3600.05/3596.23	c learnt ternary clauses	: 3306
3600.05/3596.23	c learnt constraints	: 511386
3600.05/3596.23	c ignored constraints	: 0
3600.05/3596.23	c root simplifications	: 0
3600.05/3596.23	c removed literals (reason simplification)	: 356649390
3600.05/3596.23	c reason swapping (by a shorter reason)	: 0
3600.05/3596.23	c Calls to reduceDB	: 33
3600.05/3596.23	c Number of update (reduction) of LBD	: 43092
3600.05/3596.23	c Imported unit clauses	: 0
3600.05/3596.23	c No decision after first conflict	: false
3600.05/3596.23	c number of reductions to clauses (during analyze)	: 0
3600.05/3596.23	c number of learned constraints concerned by reduction	: 0
3600.05/3596.23	c number of learning phase by resolution	: 0
3600.05/3596.23	c number of learning phase by cutting planes	: 0
3600.05/3596.23	c number of rounding to 1 operations	: 0
3600.05/3596.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3596.23	c number of reductions of the coefficients by power 2 	: 0
3600.05/3596.23	c number of right shift for reduction by power 2 	: 0
3600.05/3596.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3596.23	c number of ending skipping 	: 0
3600.05/3596.23	c number of internal skipping 	: 0
3600.05/3596.23	c number of derivation steps 	: 0
3600.05/3596.23	c number of skipped derivation steps 	: 0
3600.05/3596.23	c number of remaining unassigned 	: 0
3600.05/3596.23	c number of remaining assigned 	: 0
3600.05/3596.23	c number of falsified literals weakened from reason	: 0
3600.05/3596.23	c number of falsified literals weakened from conflict	: 0
3600.05/3596.23	c time for arithmetic operations	: 0
3600.05/3596.24	c minimum degree of deleted constraints	: null
3600.05/3596.24	c maximum degree of deleted constraints	: null
3600.05/3596.24	c number of deleted constraints	: 0
3600.05/3596.24	c speed (assignments/second)	: 211036.9140463642
3600.05/3596.24	c non guided choices	: 0
3600.05/3596.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 42891
3600.05/3596.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 71
3600.05/3596.27	s SATISFIABLE
3600.05/3596.27	c Found 3 solution(s)
3600.25/3596.30	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 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 x1862 -x1863 x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 
3600.25/3596.30	c objective function=-44
3600.25/3596.30	c Total wall clock time (in seconds): 3596.166

Verifier Data 

OK	-44

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62461 MiB free)
  memory of node 1: 64465 MiB (61740 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498424-1751393793/watcher-4498424-1751393793 -o /tmp/evaluation-result-4498424-1751393793/solver-4498424-1751393793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53809 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498424-1751393793.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=54887, runsolver pid=54874

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.15 4.13 7/337 54905
/proc/meminfo: memFree=127150920/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=18930384 memory=55516 CPUtime=0.12 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 6537 0 0 0 10 2 0 0 20 0 18 0 55057709 19384713216 13879 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4732596 13879 5330 1 0 547604 0
[pid=54887/tid=54889] ppid=54874 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5047 0 0 0 6 1 0 0 20 0 18 0 55057711 19384713216 13879 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057713 19384713216 13879 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=18930384 memory=58485492711461 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55057713 19384713216 13879 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB

[startup+0.205931 s]*
/proc/loadavg: 4.13 4.15 4.13 10/337 54905
/proc/meminfo: memFree=127129432/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=18930384 memory=63972 CPUtime=0.31 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 7020 0 0 0 28 3 0 0 20 0 18 0 55057709 19384713216 15993 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4732596 15993 5426 1 0 547897 0
[pid=54887/tid=54889] ppid=54874 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5293 0 0 0 15 1 0 0 20 0 18 0 55057711 19384713216 15993 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057713 19384713216 15993 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55057713 19384713216 15993 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63972 KiB

[startup+0.30585 s]*
/proc/loadavg: 4.13 4.15 4.13 8/338 54906
/proc/meminfo: memFree=127097988/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=18930384 memory=97084 CPUtime=0.5 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 8721 0 0 0 46 4 0 0 20 0 18 0 55057709 19384713216 24271 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4732596 24271 5426 1 0 548574 0
[pid=54887/tid=54889] ppid=54874 vsize=18930384 memory=-6000919489852631146 CPUtime=0.26 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5309 0 0 0 24 2 0 0 20 0 18 0 55057711 19384713216 24271 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55057713 19384713216 24271 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55057713 19384713216 24271 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97084 KiB

[startup+0.700213 s]
/proc/loadavg: 4.13 4.15 4.13 7/339 54907
/proc/meminfo: memFree=127004036/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=18996948 memory=217036 CPUtime=1.26 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 17067 0 0 0 118 8 0 0 20 0 19 0 55057709 19452874752 54259 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4749237 54259 5458 1 0 553776 0
[pid=54887/tid=54889] ppid=54874 vsize=18996948 memory=17792 CPUtime=0.55 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5385 0 0 0 52 3 0 0 20 0 19 0 55057711 19452874752 54259 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 55057713 19452874752 54259 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 55057713 19452874752 54259 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 217036 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.15 4.13 7/339 54907
/proc/meminfo: memFree=126679488/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=517616 CPUtime=2.84 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 20166 0 0 0 269 15 0 0 20 0 20 0 55057709 19521036288 129404 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 129404 5490 1 0 1290878 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=3328 CPUtime=1.13 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5652 0 0 0 106 7 0 0 20 0 20 0 55057711 19521036288 129404 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 129404 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 129404 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 517616 KiB

[startup+3.10578 s]
/proc/loadavg: 4.13 4.15 4.13 8/338 54973
/proc/meminfo: memFree=128704204/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=518128 CPUtime=5.21 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 20277 0 0 0 504 17 0 0 20 0 20 0 55057709 19521036288 129532 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 129532 5522 1 0 1290880 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=10752 CPUtime=2.69 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5655 0 0 0 260 9 0 0 20 0 20 0 55057711 19521036288 129532 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=-6000919489852631146 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 129532 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 129532 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 129532 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 518128 KiB

[startup+6.30021 s]
/proc/loadavg: 4.28 4.18 4.14 5/339 54974
/proc/meminfo: memFree=128609852/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=509336 CPUtime=8.48 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 21662 0 0 0 830 18 0 0 20 0 20 0 55057709 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 127334 5522 1 0 1290898 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 5789 0 0 0 579 9 0 0 20 0 20 0 55057711 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 8.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 509336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.18 4.14 5/341 54977
/proc/meminfo: memFree=128523764/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=509336 CPUtime=14.96 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 23414 0 0 0 1477 19 0 0 20 0 20 0 55057709 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 127334 5522 1 0 1290898 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=10752 CPUtime=12.26 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 6059 0 0 0 1217 9 0 0 20 0 20 0 55057711 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=509336 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=164 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 127334 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 14.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 509336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.13 5/341 54977
/proc/meminfo: memFree=128519676/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=509464 CPUtime=27.77 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 25309 0 0 0 2757 20 0 0 20 0 20 0 55057709 19521036288 127366 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 127366 5522 1 0 1290898 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=0 CPUtime=25.03 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 6609 0 0 0 2493 10 0 0 20 0 20 0 55057711 19521036288 127366 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=509464 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127366 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=509336 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127366 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 127366 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 27.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 509464 KiB

[startup+51.1059 s]
/proc/loadavg: 4.19 4.17 4.14 5/341 54977
/proc/meminfo: memFree=128413188/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=509848 CPUtime=53.5 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 30044 0 0 0 5328 22 0 0 20 0 20 0 55057709 19521036288 127462 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 127462 5554 1 0 1290930 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=509464 CPUtime=50.56 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 8376 0 0 0 5045 11 0 0 20 0 20 0 55057711 19521036288 127462 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127462 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 127462 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 127462 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/339 55140
/proc/meminfo: memFree=115288860/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=5192404 CPUtime=3285.4 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 128325 0 0 0 328281 259 0 0 20 0 20 0 55057709 19521036288 1298101 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1298101 5586 1 0 2095227 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=5192404 CPUtime=3267.3 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 43028 0 0 0 326702 28 0 0 20 0 20 0 55057711 19521036288 1298101 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298101 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=5192404 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 2935 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298101 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=3544649790353917489 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1298101 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3285.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5192404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/338 55142
/proc/meminfo: memFree=115289416/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=5194452 CPUtime=3345.48 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 130102 0 0 0 334286 262 0 0 20 0 20 0 55057709 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1298613 5586 1 0 2095228 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=5192404 CPUtime=3326.94 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 43722 0 0 0 332666 28 0 0 20 0 20 0 55057711 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 2936 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=1664 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3345.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5194452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/340 55150
/proc/meminfo: memFree=115289088/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=5194452 CPUtime=3405.36 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 131207 0 0 0 340272 264 0 0 20 0 20 0 55057709 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1298613 5586 1 0 2095228 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=10752 CPUtime=3386.78 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 44611 0 0 0 338650 28 0 0 20 0 20 0 55057711 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 3055 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3405.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5194452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/341 55153
/proc/meminfo: memFree=115289208/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=5194452 CPUtime=3465.51 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 132949 0 0 0 346286 265 0 0 20 0 20 0 55057709 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1298613 5586 1 0 2095228 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=14976 CPUtime=3446.34 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 45107 0 0 0 344606 28 0 0 20 0 20 0 55057711 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 3162 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1298613 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3465.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5194452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/341 55155
/proc/meminfo: memFree=115670568/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=4798052 CPUtime=3526.31 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 139407 0 0 0 352364 267 0 0 20 0 20 0 55057709 19521036288 1199513 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1199513 5586 1 0 1983085 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=5194452 CPUtime=3505.94 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 48187 0 0 0 350566 28 0 0 20 0 20 0 55057711 19521036288 1199513 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1199513 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 3166 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1199513 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=5194452 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1199513 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3526.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/341 55157
/proc/meminfo: memFree=115523232/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=4947568 CPUtime=3586.18 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 139914 0 0 0 358347 271 0 0 20 0 20 0 55057709 19521036288 1236892 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1236892 5586 1 0 1983085 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=14976 CPUtime=3565.79 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 48659 0 0 0 356548 31 0 0 20 0 20 0 55057711 19521036288 1236892 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=-6000919489852631146 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1236892 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=4916868 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 3169 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1236892 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1236892 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4947568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.2 s]
/proc/loadavg: 4.04 4.09 4.08 5/298 55185
/proc/meminfo: memFree=122679544/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19063512 memory=4982384 CPUtime=3600.05 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 140087 0 0 0 359732 273 0 0 20 0 20 0 55057709 19521036288 1245596 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4765878 1245596 5586 1 0 1983085 0
[pid=54887/tid=54889] ppid=54874 vsize=19063512 memory=6896 CPUtime=3579.65 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 48824 0 0 0 357933 32 0 0 20 0 20 0 55057711 19521036288 1245596 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19063512 memory=2178872 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1245596 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19063512 memory=7028 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 3169 0 0 0 0 0 0 0 20 0 20 0 55057713 19521036288 1245596 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54908] ppid=54874 vsize=19063512 memory=4978288 CPUtime=0 cores=4,6
/proc/54887/task/54908/stat : 54908 (Timer-0) S 54874 54887 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55057836 19521036288 1245596 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4982384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.52 s, system=2.76077 s

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

[startup+3596.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/298 55185
/proc/meminfo: memFree=122679544/131249996 swapFree=33010160/33010684
[pid=54887] ppid=54874 vsize=19263204 memory=4993452 CPUtime=3600.25 cores=4,6
/proc/54887/stat : 54887 (java) S 54874 54887 53798 0 -1 4194304 141489 0 0 0 359751 274 0 0 20 0 21 0 55057709 19725520896 1248363 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
/proc/54887/statm: 4815801 1248363 5618 1 0 1984055 0
[pid=54887/tid=54889] ppid=54874 vsize=19263204 memory=5632 CPUtime=3579.75 cores=4,6
/proc/54887/task/54889/stat : 54889 (java) R 54874 54887 53798 0 -1 4194368 48892 0 0 0 357943 32 0 0 20 0 21 0 55057711 19725520896 1248363 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54898] ppid=54874 vsize=19263204 memory=10752 CPUtime=0 cores=4,6
/proc/54887/task/54898/stat : 54898 (Finalizer) S 54874 54887 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 55057713 19725520896 1248363 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
[pid=54887/tid=54905] ppid=54874 vsize=19263204 memory=5190336 CPUtime=0 cores=4,6
/proc/54887/task/54905/stat : 54905 (Common-Cleaner) S 54874 54887 53798 0 -1 4194368 3169 0 0 0 0 0 0 0 20 0 21 0 55057713 19725520896 1248363 18446744073709551615 94138044862464 94138044866160 140722766430976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94138044873976 94138044874768 94138046115840 140722766436737 140722766436838 140722766436838 140722766442440 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4993452 KiB

Child status: 143

Real time (s): 3596.34
CPU time (s): 3600.28
CPU user time (s): 3597.52
CPU system time (s): 2.76077
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5198940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.52
system time used= 2.76077
maximum resident set size= 5198940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140912
involuntary context switches= 5122


# summary of solver processes directly reported to runsolver:
#   pid: 54887
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3597.52
#   total CPU system time (s): 2.76077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13892 second user time and 19.3808 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 20:16:33
IDJOB=4498424
IDBENCH=148671
IDSOLVER=3363
FILE ID=nodeC029/4498424-1751393793
RUNJOBID= nodeC029-1751386581-53809
SLURM_JOB_ID= 9598249
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498424-1751393793/watcher-4498424-1751393793 -o /tmp/evaluation-result-4498424-1751393793/solver-4498424-1751393793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53809 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498424-1751393793.opb

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

MD5SUM BENCH= a48c66dfa619fe9822eb3addabc6673c
RANDOM SEED=617143640

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127208144 kB
MemAvailable:   127165044 kB
Buffers:            2128 kB
Cached:           763488 kB
SwapCached:           40 kB
Active:          3053124 kB
Inactive:         393856 kB
Active(anon):    2694616 kB
Inactive(anon):     4768 kB
Active(file):     358508 kB
Inactive(file):   389088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3792 kB
Writeback:             0 kB
AnonPages:       2684332 kB
Mapped:           123208 kB
Shmem:             18020 kB
KReclaimable:      97084 kB
Slab:             184356 kB
SReclaimable:      97084 kB
SUnreclaim:        87272 kB
KernelStack:        4928 kB
PageTables:         8664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8152004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151096 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2469888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC029 at 2025-07-01 21:16:29