Trace number 4459897

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
Exact 2024-07-05SAT (TO)-81 3600.07 3611.12

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMe801618a66cab8fdd24ce0de869386c9
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-82
Best CPU time to get the best result obtained on this benchmark69962.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.34	o -4
0.29/0.34	o -5
0.29/0.34	o -6
0.29/0.35	o -7
0.29/0.35	o -8
0.29/0.36	o -9
0.29/0.36	o -10
0.29/0.37	o -11
0.29/0.38	o -12
0.29/0.38	o -13
0.29/0.39	o -14
0.29/0.40	o -15
0.29/0.41	o -16
0.39/0.43	o -17
0.39/0.43	o -18
0.39/0.44	o -19
0.39/0.48	o -20
0.39/0.49	o -21
0.49/0.53	o -22
0.49/0.56	o -23
0.49/0.60	o -24
0.58/0.64	o -25
0.58/0.67	o -26
0.58/0.68	o -27
0.87/0.92	o -28
0.87/0.94	o -29
0.87/0.95	o -30
0.87/0.96	o -31
0.87/0.98	o -32
0.99/1.01	o -33
0.99/1.02	o -34
0.99/1.04	o -35
0.99/1.06	o -36
0.99/1.08	o -37
0.99/1.09	o -38
1.09/1.11	o -39
1.09/1.13	o -40
1.09/1.19	o -41
1.18/1.20	o -42
1.18/1.29	o -43
1.28/1.32	o -44
1.28/1.37	o -45
1.38/1.44	o -46
1.38/1.49	o -47
1.58/1.60	o -48
1.58/1.67	o -49
1.98/2.08	o -50
1.98/2.08	o -51
1.98/2.09	o -52
2.08/2.15	o -53
2.18/2.21	o -54
2.18/2.28	o -55
2.18/2.29	o -56
2.28/2.32	o -57
2.28/2.32	o -58
2.28/2.34	o -59
2.38/2.43	o -60
9.15/9.20	o -61
9.15/9.22	o -62
9.15/9.27	o -63
11.05/11.16	o -64
11.25/11.33	o -65
14.54/14.65	o -66
14.54/14.67	o -67
15.13/15.23	o -68
17.22/17.37	o -69
17.52/17.63	o -70
17.72/17.87	o -71
17.82/17.96	o -72
26.90/27.03	o -73
27.09/27.21	o -74
27.19/27.30	o -75
27.29/27.41	o -76
28.29/28.41	o -77
33.88/34.05	o -78
38.75/38.94	o -79
131.56/132.09	o -80
1765.07/1770.61	o -81
3600.04/3611.10	c Program interrupted by user.
3600.04/3611.10	s SATISFIABLE
3600.04/3611.10	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

Verifier Data 

OK	-81

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: 63968 MiB (61766 MiB free)
  memory of node 1: 64473 MiB (62058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459897-1721946404/watcher-4459897-1721946404 -o /tmp/evaluation-result-4459897-1721946404/solver-4459897-1721946404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721946404-263475 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1236143285 HOME/instance-4459897-1721946404.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

Current StackSize limit: 8192 KiB

solver pid=263531, runsolver pid=263522

[startup+0.100394 s]*
/proc/loadavg: 1.20 1.67 2.02 8/257 263540
/proc/meminfo: memFree=126696564/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=60072 memory=39748 CPUtime=0.09 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 11469 0 0 0 8 1 0 0 20 0 1 0 31169443 61513728 9937 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 15018 9937 900 1005 0 13781 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60072 KiB
Current children cumulated memory: 39748 KiB

[startup+0.207393 s]*
/proc/loadavg: 1.20 1.67 2.02 9/257 263542
/proc/meminfo: memFree=126656956/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=95112 memory=73928 CPUtime=0.2 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 19805 0 0 0 17 3 0 0 20 0 1 0 31169443 97394688 18482 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 23778 18482 1060 1005 0 22541 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95112 KiB
Current children cumulated memory: 73928 KiB

[startup+0.305605 s]*
/proc/loadavg: 1.20 1.67 2.02 5/257 263542
/proc/meminfo: memFree=126652772/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=98992 memory=77092 CPUtime=0.29 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 20576 0 0 0 26 3 0 0 20 0 1 0 31169443 101367808 19273 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 24748 19273 1060 1005 0 23511 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98992 KiB
Current children cumulated memory: 77092 KiB

[startup+0.700175 s]
/proc/loadavg: 1.20 1.67 2.02 5/257 263542
/proc/meminfo: memFree=126641632/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=101896 memory=82476 CPUtime=0.67 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 21373 0 0 0 64 3 0 0 20 0 1 0 31169443 104341504 20619 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 25474 20619 1108 1005 0 24237 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101896 KiB
Current children cumulated memory: 82476 KiB

[startup+1.50021 s]
/proc/loadavg: 1.20 1.67 2.02 8/257 263542
/proc/meminfo: memFree=126629912/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=105424 memory=89996 CPUtime=1.48 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 22238 0 0 0 144 4 0 0 20 0 1 0 31169443 107954176 22499 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 26356 22499 1108 1005 0 25119 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 89996 KiB

[startup+3.1069 s]
/proc/loadavg: 1.43 1.71 2.03 8/257 263542
/proc/meminfo: memFree=126587560/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=109240 memory=97756 CPUtime=3.08 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 23167 0 0 0 304 4 0 0 20 0 1 0 31169443 111861760 24439 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 27310 24439 1108 1005 0 26073 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109240 KiB
Current children cumulated memory: 97756 KiB

[startup+6.30019 s]
/proc/loadavg: 1.43 1.71 2.03 8/257 263542
/proc/meminfo: memFree=126561748/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=119748 memory=109472 CPUtime=6.26 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 25075 0 0 0 620 6 0 0 20 0 1 0 31169443 122621952 27368 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 29937 27368 1108 1005 0 28700 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 119748 KiB
Current children cumulated memory: 109472 KiB

[startup+12.7002 s]
/proc/loadavg: 1.71 1.76 2.05 8/257 263544
/proc/meminfo: memFree=126527676/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=155336 memory=127936 CPUtime=12.65 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 25747 0 0 0 1257 8 0 0 20 0 1 0 31169443 159064064 31984 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 38834 31984 1108 1005 0 37597 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 155336 KiB
Current children cumulated memory: 127936 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 1.87 2.08 8/257 263546
/proc/meminfo: memFree=126478436/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=163872 memory=153664 CPUtime=25.4 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 28110 0 0 0 2529 11 0 0 20 0 1 0 31169443 167804928 38416 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 40968 38416 1124 1005 0 39731 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 163872 KiB
Current children cumulated memory: 153664 KiB

[startup+51.1069 s]
/proc/loadavg: 2.83 2.04 2.13 8/257 263551
/proc/meminfo: memFree=126448704/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=178680 memory=167224 CPUtime=50.91 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 31427 0 0 0 5076 15 0 0 20 0 1 0 31169443 182968320 41806 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 44670 41806 1124 1005 0 43433 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 167224 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.38 2.24 8/257 263560
/proc/meminfo: memFree=126403412/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=230748 memory=193060 CPUtime=101.95 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 33528 0 0 0 10175 20 0 0 20 0 1 0 31169443 236285952 48265 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 57687 48265 1124 1005 0 56450 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 230748 KiB
Current children cumulated memory: 193060 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.69 2.36 8/259 263741
/proc/meminfo: memFree=126375832/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=230748 memory=198528 CPUtime=161.77 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 33798 0 0 0 16143 34 0 0 20 0 1 0 31169443 236285952 49632 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 57687 49632 1140 1005 0 56450 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 230748 KiB
Current children cumulated memory: 198528 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.95 2.47 8/259 263752
/proc/meminfo: memFree=126362288/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=231480 memory=199812 CPUtime=221.59 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 34255 0 0 0 22122 37 0 0 20 0 1 0 31169443 237035520 49953 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 57870 49953 1140 1005 0 56633 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 231480 KiB
Current children cumulated memory: 199812 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.17 2.58 8/261 263822
/proc/meminfo: memFree=126342664/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=237844 memory=209648 CPUtime=281.41 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 35779 0 0 0 28095 46 0 0 20 0 1 0 31169443 243552256 52412 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 59461 52412 1140 1005 0 58224 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 237844 KiB
Current children cumulated memory: 209648 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.34 2.68 8/259 263832
/proc/meminfo: memFree=126311900/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=241684 memory=228056 CPUtime=341.21 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 36889 0 0 0 34069 52 0 0 20 0 1 0 31169443 247484416 57014 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 60421 57014 1140 1005 0 59184 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 241684 KiB
Current children cumulated memory: 228056 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.49 2.77 8/259 263843
/proc/meminfo: memFree=126298008/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=247924 memory=233492 CPUtime=401.01 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 38387 0 0 0 40042 59 0 0 20 0 1 0 31169443 253874176 58373 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 61981 58373 1140 1005 0 60744 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 247924 KiB
Current children cumulated memory: 233492 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.60 2.86 8/258 263855
/proc/meminfo: memFree=126277472/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=248668 memory=234784 CPUtime=460.8 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 38778 0 0 0 46015 65 0 0 20 0 1 0 31169443 254636032 58696 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 62167 58696 1140 1005 0 60930 0

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

Current children cumulated memory: 321080 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 8/256 264887
/proc/meminfo: memFree=126028904/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=393888 memory=325748 CPUtime=2913.25 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 58855 0 0 0 291014 311 0 0 20 0 1 0 31169443 403341312 81437 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 98472 81437 1140 1005 0 97235 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 393888 KiB
Current children cumulated memory: 325748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.02 8/255 264898
/proc/meminfo: memFree=126027388/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=393888 memory=325856 CPUtime=2973.06 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 59008 0 0 0 296989 317 0 0 20 0 1 0 31169443 403341312 81464 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 98472 81464 1140 1005 0 97235 0
Current children cumulated CPU time: 2973.06 s
Current children cumulated vsize: 393888 KiB
Current children cumulated memory: 325856 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 8/255 264910
/proc/meminfo: memFree=126024612/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=393888 memory=325856 CPUtime=3032.88 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 59153 0 0 0 302965 323 0 0 20 0 1 0 31169443 403341312 81464 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 98472 81464 1140 1005 0 97235 0
Current children cumulated CPU time: 3032.88 s
Current children cumulated vsize: 393888 KiB
Current children cumulated memory: 325856 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/256 264922
/proc/meminfo: memFree=126022708/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=394308 memory=325900 CPUtime=3092.7 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 59289 0 0 0 308928 342 0 0 20 0 1 0 31169443 403771392 81475 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 98577 81475 1140 1005 0 97340 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 394308 KiB
Current children cumulated memory: 325900 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 8/256 264933
/proc/meminfo: memFree=126018012/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=394308 memory=327920 CPUtime=3152.51 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 59444 0 0 0 314909 342 0 0 20 0 1 0 31169443 403771392 81980 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 98577 81980 1140 1005 0 97340 0
Current children cumulated CPU time: 3152.51 s
Current children cumulated vsize: 394308 KiB
Current children cumulated memory: 327920 KiB

[startup+3222.3 s]
/proc/loadavg: 3.61 3.96 3.98 4/249 264974
/proc/meminfo: memFree=126078208/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=395100 memory=328912 CPUtime=3212.35 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 59845 0 0 0 320890 345 0 0 20 0 1 0 31169443 404582400 82228 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 98775 82228 1140 1005 0 97538 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 395100 KiB
Current children cumulated memory: 328912 KiB

[startup+3282.3 s]
/proc/loadavg: 3.34 3.81 3.93 6/250 264989
/proc/meminfo: memFree=126072784/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=398720 memory=332252 CPUtime=3272.18 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 60790 0 0 0 326857 361 0 0 20 0 1 0 31169443 408289280 83063 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 99680 83063 1140 1005 0 98443 0
Current children cumulated CPU time: 3272.18 s
Current children cumulated vsize: 398720 KiB
Current children cumulated memory: 332252 KiB

[startup+3342.3 s]
/proc/loadavg: 3.19 3.68 3.88 4/250 264999
/proc/meminfo: memFree=126069976/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=398720 memory=332556 CPUtime=3332.01 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 61038 0 0 0 332840 361 0 0 20 0 1 0 31169443 408289280 83139 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 99680 83139 1140 1005 0 98443 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 398720 KiB
Current children cumulated memory: 332556 KiB

[startup+3402.3 s]
/proc/loadavg: 3.17 3.58 3.83 5/250 265010
/proc/meminfo: memFree=126064720/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=401772 memory=335680 CPUtime=3391.84 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 61931 0 0 0 338815 369 0 0 20 0 1 0 31169443 411414528 83920 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 100443 83920 1140 1005 0 99206 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 401772 KiB
Current children cumulated memory: 335680 KiB

[startup+3462.3 s]
/proc/loadavg: 3.17 3.51 3.79 5/250 265021
/proc/meminfo: memFree=126060148/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=402908 memory=336688 CPUtime=3451.65 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 62345 0 0 0 344790 375 0 0 20 0 1 0 31169443 412577792 84172 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 100727 84172 1140 1005 0 99490 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 402908 KiB
Current children cumulated memory: 336688 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.43 3.74 5/250 265032
/proc/meminfo: memFree=126053796/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=408360 memory=341532 CPUtime=3511.48 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 63636 0 0 0 350756 392 0 0 20 0 1 0 31169443 418160640 85383 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 102090 85383 1140 1005 0 100853 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 408360 KiB
Current children cumulated memory: 341532 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.36 3.70 6/248 265424
/proc/meminfo: memFree=126053092/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=408360 memory=341756 CPUtime=3571.32 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 63854 0 0 0 356738 394 0 0 20 0 1 0 31169443 418160640 85439 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 102090 85439 1140 1005 0 100853 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 408360 KiB
Current children cumulated memory: 341756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 3.10 3.34 3.68 4/241 265462
/proc/meminfo: memFree=126263524/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=408360 memory=341756 CPUtime=3600.04 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 63958 0 0 0 359610 394 0 0 20 0 1 0 31169443 418160640 85439 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 102090 85439 1140 1005 0 100853 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 408360 KiB
Current children cumulated memory: 341756 KiB

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

[startup+3611.12 s]
# the end of solver process 263531 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3596.12 s, system=3.95126 s

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

[startup+3611.11 s]
/proc/loadavg: 3.10 3.34 3.68 4/241 265462
/proc/meminfo: memFree=126263524/131524600 swapFree=131057124/131071996
[pid=263531] ppid=263522 vsize=408360 memory=341756 CPUtime=3600.04 cores=0,2
/proc/263531/stat : 263531 (Exact) R 263522 263531 258834 0 -1 4194304 63958 0 0 0 359610 394 0 0 20 0 1 0 31169443 418160640 85439 134679101440 4194304 8309489 140731311168000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20537344 140731311170493 140731311170663 140731311170663 140731311177679 0
/proc/263531/statm: 102090 85439 1140 1005 0 100853 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 408360 KiB
Current children cumulated memory: 341756 KiB

Child status: 10

Real time (s): 3611.12
CPU time (s): 3600.07
CPU user time (s): 3596.12
CPU system time (s): 3.95126
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 408360
Max. memory (cumulated for all children) (KiB): 341756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.12
system time used= 3.95126
maximum resident set size= 403472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 27648


# summary of solver processes directly reported to runsolver:
#   pid: 263531
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.12
#   total CPU system time (s): 3.95126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.25778 second user time and 22.1022 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-26 00:26:44
IDJOB=4459897
IDBENCH=148645
IDSOLVER=3060
FILE ID=nodeC025/4459897-1721946404
RUNJOBID= nodeC025-1721946404-263475
SLURM_JOB_ID= 8247246
Free space on /tmp= 890028 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459897-1721946404/watcher-4459897-1721946404 -o /tmp/evaluation-result-4459897-1721946404/solver-4459897-1721946404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721946404-263475 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1236143285 HOME/instance-4459897-1721946404.opb

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

MD5SUM BENCH= e801618a66cab8fdd24ce0de869386c9
RANDOM SEED=1236143285

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126797964 kB
MemAvailable:   129705800 kB
Buffers:          344604 kB
Cached:          3363264 kB
SwapCached:          236 kB
Active:          2556048 kB
Inactive:        1508744 kB
Active(anon):       4324 kB
Inactive(anon):   406132 kB
Active(file):    2551724 kB
Inactive(file):  1102612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057124 kB
Dirty:             23836 kB
Writeback:            64 kB
AnonPages:        357320 kB
Mapped:           111224 kB
Shmem:             52872 kB
KReclaimable:     186644 kB
Slab:             311368 kB
SReclaimable:     186644 kB
SUnreclaim:       124724 kB
KernelStack:        3844 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC025 at 2024-07-26 01:26:55