Trace number 4441163

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_veripb2 2024-07-05SAT (TO)-38 3600.04 3674.64

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM950817fdcb39f28dd0871c21ea836071
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1120.33
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
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 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.40/0.41	o 0
0.40/0.42	o -1
0.40/0.42	o -2
0.40/0.42	o -3
0.40/0.42	o -4
0.40/0.42	o -5
0.40/0.42	o -6
0.40/0.43	o -7
0.40/0.44	o -8
0.40/0.45	o -9
0.40/0.46	o -10
0.59/0.60	o -11
0.69/0.78	o -12
0.69/0.79	o -13
0.79/0.80	o -14
0.79/0.82	o -15
0.99/1.10	o -16
1.38/1.44	o -17
1.38/1.46	o -18
1.48/1.57	o -19
1.88/1.99	o -20
1.99/2.08	o -21
2.58/2.68	o -22
3.37/3.41	o -23
9.26/9.35	o -24
19.23/19.39	o -25
19.33/19.42	o -26
19.33/19.46	o -27
19.33/19.49	o -28
19.43/19.52	o -29
19.53/19.61	o -30
35.79/36.00	o -31
125.26/125.88	o -32
140.49/141.18	o -33
152.75/153.49	o -34
177.53/178.47	o -35
265.62/266.82	o -36
525.23/527.85	o -37
825.35/833.08	o -38
3600.03/3674.60	c Program interrupted by user.
3600.03/3674.60	s SATISFIABLE
3600.03/3674.60	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

Verifier Data 

OK	-38

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441163-1721751758/watcher-4441163-1721751758 -o /tmp/evaluation-result-4441163-1721751758/solver-4441163-1721751758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721751758-113022 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441163-1721751758 --seed=1906250712 HOME/instance-4441163-1721751758.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=113071, runsolver pid=113062
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 2.05 2.16 2.17 7/262 113084
/proc/meminfo: memFree=104439644/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=34624 memory=14820 CPUtime=0.09 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 4357 0 0 0 9 0 0 0 20 0 1 0 11704089 35454976 3705 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 8656 3705 883 1006 0 7417 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34624 KiB
Current children cumulated memory: 14820 KiB

[startup+0.206516 s]*
/proc/loadavg: 2.05 2.16 2.17 7/262 113084
/proc/meminfo: memFree=104425920/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=75824 memory=56420 CPUtime=0.2 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 10445 0 0 0 19 1 0 0 20 0 1 0 11704089 77643776 14105 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 18956 14105 1043 1006 0 17717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75824 KiB
Current children cumulated memory: 56420 KiB

[startup+0.306087 s]*
/proc/loadavg: 2.05 2.16 2.17 6/262 113084
/proc/meminfo: memFree=104280632/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=75824 memory=56420 CPUtime=0.3 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 10455 0 0 0 29 1 0 0 20 0 1 0 11704089 77643776 14105 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 18956 14105 1043 1006 0 17717 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75824 KiB
Current children cumulated memory: 56420 KiB

[startup+0.700162 s]
/proc/loadavg: 2.05 2.16 2.17 6/262 113084
/proc/meminfo: memFree=104275480/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=75824 memory=60516 CPUtime=0.69 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 10465 0 0 0 67 2 0 0 20 0 1 0 11704089 77643776 15129 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 18956 15129 1043 1006 0 17717 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75824 KiB
Current children cumulated memory: 60516 KiB

[startup+1.50021 s]
/proc/loadavg: 2.05 2.16 2.17 7/262 113084
/proc/meminfo: memFree=104256244/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=75824 memory=66660 CPUtime=1.48 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 10468 0 0 0 146 2 0 0 20 0 1 0 11704089 77643776 16665 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 18956 16665 1043 1006 0 17717 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75824 KiB
Current children cumulated memory: 66660 KiB

[startup+3.10636 s]
/proc/loadavg: 2.20 2.19 2.18 7/262 113084
/proc/meminfo: memFree=104207600/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=80656 memory=74612 CPUtime=3.08 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 11813 0 0 0 306 2 0 0 20 0 1 0 11704089 82591744 18653 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 20164 18653 1155 1006 0 18925 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80656 KiB
Current children cumulated memory: 74612 KiB

[startup+6.30022 s]
/proc/loadavg: 2.20 2.19 2.18 7/264 113086
/proc/meminfo: memFree=104142592/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=93596 memory=86652 CPUtime=6.26 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 12488 0 0 0 623 3 0 0 20 0 1 0 11704089 95842304 21663 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 23399 21663 1155 1006 0 22160 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93596 KiB
Current children cumulated memory: 86652 KiB

[startup+12.7002 s]
/proc/loadavg: 2.35 2.22 2.19 7/264 113088
/proc/meminfo: memFree=104034044/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=122148 memory=106748 CPUtime=12.64 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 13904 0 0 0 1259 5 0 0 20 0 1 0 11704089 125079552 26687 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 30537 26687 1155 1006 0 29298 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122148 KiB
Current children cumulated memory: 106748 KiB

[startup+25.5002 s]
/proc/loadavg: 2.71 2.31 2.22 7/264 113089
/proc/meminfo: memFree=103913656/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=125584 memory=115664 CPUtime=25.42 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 15134 0 0 0 2533 9 0 0 20 0 1 0 11704089 128598016 28916 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 31396 28916 1155 1006 0 30157 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 125584 KiB
Current children cumulated memory: 115664 KiB

[startup+51.1065 s]
/proc/loadavg: 3.21 2.46 2.27 7/263 113095
/proc/meminfo: memFree=103810548/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=127976 memory=122188 CPUtime=50.81 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 15827 0 0 0 5068 13 0 0 20 0 1 0 11704089 131047424 30547 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 15 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 31994 30547 1155 1006 0 30755 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 127976 KiB
Current children cumulated memory: 122188 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.72 2.37 7/263 113104
/proc/meminfo: memFree=103667596/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=133612 memory=127972 CPUtime=101.81 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 17296 0 0 0 10161 20 0 0 20 0 1 0 11704089 136818688 31993 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 20 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 33403 31993 1155 1006 0 32164 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 133612 KiB
Current children cumulated memory: 127972 KiB

[startup+162.301 s]
/proc/loadavg: 3.94 2.97 2.48 7/260 113116
/proc/meminfo: memFree=103482752/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=134324 memory=128668 CPUtime=161.58 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 17531 0 0 0 16126 32 0 0 20 0 1 0 11704089 137547776 32167 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 6 0 0 24 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 33581 32167 1155 1006 0 32342 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 134324 KiB
Current children cumulated memory: 128668 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.19 2.59 7/262 113510
/proc/meminfo: memFree=103266852/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=137484 memory=131884 CPUtime=221.27 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 18351 0 0 0 22080 47 0 0 20 0 1 0 11704089 140783616 32971 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 29 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 34371 32971 1155 1006 0 33132 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 137484 KiB
Current children cumulated memory: 131884 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.35 2.68 7/258 113520
/proc/meminfo: memFree=102990964/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=141664 memory=136024 CPUtime=281.07 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 19407 0 0 0 28043 64 0 0 20 0 1 0 11704089 145063936 34006 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 32 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 35416 34006 1155 1006 0 34177 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 141664 KiB
Current children cumulated memory: 136024 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.50 2.78 7/258 113531
/proc/meminfo: memFree=102645172/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=189864 memory=148092 CPUtime=340.86 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 21942 0 0 0 34004 82 0 0 20 0 1 0 11704089 194420736 37023 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 38 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 47466 37023 1155 1006 0 46227 0
Current children cumulated CPU time: 340.86 s
Current children cumulated vsize: 189864 KiB
Current children cumulated memory: 148092 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.61 2.86 7/260 113712
/proc/meminfo: memFree=102257580/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=195664 memory=153684 CPUtime=400.61 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 23376 0 0 0 39962 99 0 0 20 0 1 0 11704089 200359936 38421 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 49 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 48916 38421 1155 1006 0 47677 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 195664 KiB
Current children cumulated memory: 153684 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.72 2.95 7/260 113722
/proc/meminfo: memFree=101843600/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=197404 memory=155572 CPUtime=460.36 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 23880 0 0 0 45923 113 0 0 20 0 1 0 11704089 202141696 38893 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 60 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 49351 38893 1155 1006 0 48112 0
Current children cumulated CPU time: 460.36 s

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

Current children cumulated memory: 244020 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.24 4.14 7/258 114811
/proc/meminfo: memFree=78646152/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=270684 memory=244032 CPUtime=2872.48 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 45371 0 0 0 286394 854 0 0 20 0 1 0 11704089 277180416 61008 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4085 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 67671 61008 1155 1006 0 66432 0
Current children cumulated CPU time: 2872.48 s
Current children cumulated vsize: 270684 KiB
Current children cumulated memory: 244032 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.23 4.14 7/258 114822
/proc/meminfo: memFree=78082124/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=271720 memory=245004 CPUtime=2922.35 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 45726 0 0 0 291367 868 0 0 20 0 1 0 11704089 278241280 61251 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5086 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 67930 61251 1155 1006 0 66691 0
Current children cumulated CPU time: 2922.35 s
Current children cumulated vsize: 271720 KiB
Current children cumulated memory: 245004 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.22 4.14 7/258 114834
/proc/meminfo: memFree=77432260/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=272016 memory=245168 CPUtime=2980.78 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 45906 0 0 0 297190 888 0 0 20 0 1 0 11704089 278544384 61292 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5229 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 68004 61292 1155 1006 0 66765 0
Current children cumulated CPU time: 2980.78 s
Current children cumulated vsize: 272016 KiB
Current children cumulated memory: 245168 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.19 4.14 7/258 114844
/proc/meminfo: memFree=76761828/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=272744 memory=246080 CPUtime=3038.68 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 46186 0 0 0 302962 906 0 0 20 0 1 0 11704089 279289856 61520 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5424 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 68186 61520 1155 1006 0 66947 0
Current children cumulated CPU time: 3038.68 s
Current children cumulated vsize: 272744 KiB
Current children cumulated memory: 246080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.14 7/258 114856
/proc/meminfo: memFree=76138304/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=273284 memory=246664 CPUtime=3098.18 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 46455 0 0 0 308889 929 0 0 20 0 1 0 11704089 279842816 61666 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5460 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 68321 61666 1155 1006 0 67082 0
Current children cumulated CPU time: 3098.18 s
Current children cumulated vsize: 273284 KiB
Current children cumulated memory: 246664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.18 4.14 7/255 114866
/proc/meminfo: memFree=75653744/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=273980 memory=249364 CPUtime=3157.79 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 46710 0 0 0 314836 943 0 0 20 0 1 0 11704089 280555520 62341 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5484 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 68495 62341 1155 1006 0 67256 0
Current children cumulated CPU time: 3157.79 s
Current children cumulated vsize: 273980 KiB
Current children cumulated memory: 249364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.13 7/255 114876
/proc/meminfo: memFree=75069524/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=281644 memory=260756 CPUtime=3216.77 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 48130 0 0 0 320711 966 0 0 20 0 1 0 11704089 288403456 65189 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5573 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 70411 65189 1155 1006 0 69172 0
Current children cumulated CPU time: 3216.77 s
Current children cumulated vsize: 281644 KiB
Current children cumulated memory: 260756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.12 7/256 114889
/proc/meminfo: memFree=74489132/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=282172 memory=261236 CPUtime=3274.05 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 48355 0 0 0 326426 979 0 0 20 0 1 0 11704089 288944128 65309 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5832 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 70543 65309 1155 1006 0 69304 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 282172 KiB
Current children cumulated memory: 261236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.12 7/256 114899
/proc/meminfo: memFree=73841060/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=283108 memory=262224 CPUtime=3333.53 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 48705 0 0 0 332356 997 0 0 20 0 1 0 11704089 289902592 65556 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5870 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 70777 65556 1155 1006 0 69538 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 262224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.12 7/257 114911
/proc/meminfo: memFree=73239708/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=283108 memory=262248 CPUtime=3392.82 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 48815 0 0 0 338270 1012 0 0 20 0 1 0 11704089 289902592 65562 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5928 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 70777 65562 1155 1006 0 69538 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 262248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.12 7/259 114925
/proc/meminfo: memFree=72527096/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=283664 memory=262720 CPUtime=3451.48 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 49034 0 0 0 344118 1030 0 0 20 0 1 0 11704089 290471936 65680 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6048 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 70916 65680 1155 1006 0 69677 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 283664 KiB
Current children cumulated memory: 262720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.12 7/259 114936
/proc/meminfo: memFree=71892572/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=285112 memory=264168 CPUtime=3510.02 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 49597 0 0 0 349955 1047 0 0 20 0 1 0 11704089 291954688 66042 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6181 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 71278 66042 1155 1006 0 70039 0
Current children cumulated CPU time: 3510.02 s
Current children cumulated vsize: 285112 KiB
Current children cumulated memory: 264168 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.14 4.12 7/259 114948
/proc/meminfo: memFree=71210412/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=285368 memory=264424 CPUtime=3568.6 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 49868 0 0 0 355795 1065 0 0 20 0 1 0 11704089 292216832 66106 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6307 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 71342 66106 1155 1006 0 70103 0
Current children cumulated CPU time: 3568.6 s
Current children cumulated vsize: 285368 KiB
Current children cumulated memory: 264424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3674.6 s]
/proc/loadavg: 4.32 4.19 4.13 4/253 115071
/proc/meminfo: memFree=86642540/131524600 swapFree=131071996/131071996
[pid=113071] ppid=113062 vsize=285368 memory=264480 CPUtime=3600.03 cores=4,6
/proc/113071/stat : 113071 (Exact_veripb2) R 113062 113071 113011 0 -1 4194304 49981 0 0 0 358928 1075 0 0 20 0 1 0 11704089 292216832 66120 134679101440 4194304 8311665 140735605650064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6388 0 0 9173656 9252184 21016576 140735605654348 140735605654628 140735605654628 140735605661639 0
/proc/113071/statm: 71342 66120 1155 1006 0 70103 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 285368 KiB
Current children cumulated memory: 264480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.28 s, system=10.7581 s

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

Child status: 10

Real time (s): 3674.64
CPU time (s): 3600.04
CPU user time (s): 3589.28
CPU system time (s): 10.7581
CPU usage (%): 97.9699
Max. virtual memory (cumulated for all children) (KiB): 285368
Max. memory (cumulated for all children) (KiB): 264480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.28
system time used= 10.7581
maximum resident set size= 264480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16836832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 851
involuntary context switches= 8716


# summary of solver processes directly reported to runsolver:
#   pid: 113071
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3589.28
#   total CPU system time (s): 10.7581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35461 second user time and 20.1918 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 18:22:38
IDJOB=4441163
IDBENCH=146680
IDSOLVER=3081
FILE ID=nodeC018/4441163-1721751758
RUNJOBID= nodeC018-1721751758-113022
SLURM_JOB_ID= 7770652
Free space on /tmp= 890076 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441163-1721751758/watcher-4441163-1721751758 -o /tmp/evaluation-result-4441163-1721751758/solver-4441163-1721751758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721751758-113022 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441163-1721751758 --seed=1906250712 HOME/instance-4441163-1721751758.opb

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

MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1906250712

nodeC018.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		: 3615.214
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.43
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		: 3638.607
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104554580 kB
MemAvailable:   129761244 kB
Buffers:          175012 kB
Cached:         25756048 kB
SwapCached:            0 kB
Active:          1108016 kB
Inactive:       25087796 kB
Active(anon):       1428 kB
Inactive(anon):   301028 kB
Active(file):    1106588 kB
Inactive(file): 24786768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23776 kB
Writeback:             4 kB
AnonPages:        262828 kB
Mapped:           103068 kB
Shmem:             37712 kB
KReclaimable:     306260 kB
Slab:             419140 kB
SReclaimable:     306260 kB
SUnreclaim:       112880 kB
KernelStack:        3952 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     581012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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:      299732 kB
DirectMap2M:    30930944 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC018 at 2024-07-23 19:23:53