Trace number 4425737

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 NameAnswerCPU timeWall clock time
Exact 2024-07-05MSAT (TO) 3600.35 3611.71

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub4_wcsp.wbo
MD5SUM017722a65fbbcf3be40a97a1e4190efb
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark553556
Best CPU time to get the best result obtained on this benchmark3600.33
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables928
Total number of constraints357050
Number of soft constraints357028
Number of constraints which are clauses357028
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 55058437
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 28629521944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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 

3.78/3.81	o 11763053
4.08/4.18	o 803952
7.66/7.71	o 793952
9.15/9.22	o 793852
9.96/10.06	o 783852
17.13/17.20	o 783850
19.03/19.17	o 773850
45.83/46.00	o 753850
117.59/118.02	o 753848
283.15/284.19	o 743848
495.35/497.09	o 743847
496.25/497.95	o 743846
500.93/502.61	o 733846
897.06/900.05	o 724046
1246.28/1250.30	o 714449
1452.44/1457.16	o 704449
1621.01/1626.26	o 704448
1854.24/1860.27	o 704247
2250.47/2257.71	o 694247
2250.77/2258.07	o 694148
2252.26/2259.55	o 684147
2253.06/2260.38	o 684146
2253.66/2260.90	o 674347
2253.95/2261.28	o 674246
2254.35/2261.65	o 664246
2254.76/2262.02	o 654346
2255.05/2262.33	o 654246
2315.76/2323.26	o 654146
2478.33/2486.36	o 654046
3600.04/3611.41	c Program interrupted by user.
3600.04/3611.41	s SATISFIABLE
3600.04/3611.41	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

Verifier Data 

OK	654046

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425737-1720890789/watcher-4425737-1720890789 -o /tmp/evaluation-result-4425737-1720890789/solver-4425737-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720890801-720639 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425737-1720890789.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=720676, runsolver pid=720669
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 0.11 0.09 0.09 4/248 720687
/proc/meminfo: memFree=129498036/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=82424 memory=58976 CPUtime=0.1 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 16762 0 0 0 8 2 0 0 20 0 1 0 141249421 84402176 14744 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 20606 14744 884 1005 0 19369 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82424 KiB
Current children cumulated memory: 58976 KiB

[startup+0.206182 s]*
/proc/loadavg: 0.11 0.09 0.09 6/245 720695
/proc/meminfo: memFree=129445164/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=137344 memory=110960 CPUtime=0.2 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 26393 0 0 0 16 4 0 0 20 0 1 0 141249421 140640256 27740 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 34336 27740 884 1005 0 33099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 137344 KiB
Current children cumulated memory: 110960 KiB

[startup+0.30637 s]*
/proc/loadavg: 0.11 0.09 0.09 4/247 720701
/proc/meminfo: memFree=129414308/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=157768 memory=137548 CPUtime=0.3 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 32566 0 0 0 25 5 0 0 20 0 1 0 141249421 161554432 34387 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 39442 34387 884 1005 0 38205 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 157768 KiB
Current children cumulated memory: 137548 KiB

[startup+0.700219 s]
/proc/loadavg: 0.11 0.09 0.09 3/247 720747
/proc/meminfo: memFree=129288936/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=307824 memory=293012 CPUtime=0.68 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 54441 0 0 0 57 11 0 0 20 0 1 0 141249421 315211776 73253 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 76956 73253 884 1005 0 75719 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 307824 KiB
Current children cumulated memory: 293012 KiB

[startup+1.50021 s]
/proc/loadavg: 0.11 0.09 0.09 4/242 720778
/proc/meminfo: memFree=129117860/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=623100 memory=564272 CPUtime=1.48 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 82879 0 0 0 128 20 0 0 20 0 1 0 141249421 638054400 141068 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 155775 141068 916 1005 0 154538 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 623100 KiB
Current children cumulated memory: 564272 KiB

[startup+3.10583 s]
/proc/loadavg: 0.11 0.09 0.09 5/256 720840
/proc/meminfo: memFree=128359924/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1161400 memory=1093616 CPUtime=3.08 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 157792 0 0 0 268 40 0 0 20 0 1 0 141249421 1189273600 273404 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 290350 273404 1076 1005 0 289113 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1161400 KiB
Current children cumulated memory: 1093616 KiB

[startup+6.30022 s]
/proc/loadavg: 0.42 0.15 0.11 5/257 720841
/proc/meminfo: memFree=128013112/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1374640 memory=1310332 CPUtime=6.26 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 172908 0 0 0 581 45 0 0 20 0 1 0 141249421 1407631360 327583 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 343660 327583 1124 1005 0 342423 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1374640 KiB
Current children cumulated memory: 1310332 KiB

[startup+12.7002 s]
/proc/loadavg: 0.71 0.22 0.13 5/257 720843
/proc/meminfo: memFree=127871444/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1413876 memory=1374344 CPUtime=12.65 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 177635 0 0 0 1216 49 0 0 20 0 1 0 141249421 1447809024 343586 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 353469 343586 1140 1005 0 352232 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1413876 KiB
Current children cumulated memory: 1374344 KiB

[startup+25.5002 s]
/proc/loadavg: 1.44 0.40 0.20 5/257 720890
/proc/meminfo: memFree=126811316/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1540240 memory=1442932 CPUtime=25.4 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 186948 0 0 0 2487 53 0 0 20 0 1 0 141249421 1577205760 360733 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 385060 360733 1140 1005 0 383823 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1540240 KiB
Current children cumulated memory: 1442932 KiB

[startup+51.1059 s]
/proc/loadavg: 2.38 0.71 0.30 5/257 720895
/proc/meminfo: memFree=126147620/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1592584 memory=1478040 CPUtime=50.92 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 188092 0 0 0 5037 55 0 0 20 0 1 0 141249421 1630806016 369510 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 398146 369510 1140 1005 0 396909 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1592584 KiB
Current children cumulated memory: 1478040 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.23 0.50 5/257 720904
/proc/meminfo: memFree=125483636/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1738184 memory=1585764 CPUtime=101.94 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 192632 0 0 0 10133 61 0 0 20 0 1 0 141249421 1779900416 396441 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 434546 396441 1140 1005 0 433309 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1738184 KiB
Current children cumulated memory: 1585764 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.75 0.73 5/255 720915
/proc/meminfo: memFree=124692488/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1796128 memory=1624368 CPUtime=161.73 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 194031 0 0 0 16110 63 0 0 20 0 1 0 141249421 1839235072 406092 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 449032 406092 1140 1005 0 447795 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1796128 KiB
Current children cumulated memory: 1624368 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.20 0.95 5/255 720925
/proc/meminfo: memFree=123846952/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1796128 memory=1631372 CPUtime=221.55 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 194519 0 0 0 22091 64 0 0 20 0 1 0 141249421 1839235072 407843 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 449032 407843 1140 1005 0 447795 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1796128 KiB
Current children cumulated memory: 1631372 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.54 1.15 5/255 720935
/proc/meminfo: memFree=123139840/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=1886636 memory=1727652 CPUtime=281.35 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 202623 0 0 0 28067 68 0 0 20 0 1 0 141249421 1931915264 431913 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 471659 431913 1140 1005 0 470422 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1886636 KiB
Current children cumulated memory: 1727652 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.83 1.33 5/254 720946
/proc/meminfo: memFree=120541472/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=2283024 memory=2166504 CPUtime=341.14 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 241548 0 0 0 34028 86 0 0 20 0 1 0 141249421 2337816576 541626 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 570756 541626 1140 1005 0 569519 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 2283024 KiB
Current children cumulated memory: 2166504 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.06 1.51 5/254 720956
/proc/meminfo: memFree=119483772/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=2296736 memory=2166708 CPUtime=400.95 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 242084 0 0 0 40008 87 0 0 20 0 1 0 141249421 2351857664 541677 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 574184 541677 1140 1005 0 572947 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 2296736 KiB
Current children cumulated memory: 2166708 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.25 1.67 5/256 720970
/proc/meminfo: memFree=119343780/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=2296736 memory=2167476 CPUtime=460.76 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 242895 0 0 0 45988 88 0 0 20 0 1 0 141249421 2351857664 541869 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 574184 541869 1140 1005 0 572947 0

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

/proc/720676/statm: 713679 623942 1198 1005 0 712442 0
Current children cumulated CPU time: 2912.9 s
Current children cumulated vsize: 2854716 KiB
Current children cumulated memory: 2495768 KiB

[startup+2982.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/243 722677
/proc/meminfo: memFree=109264644/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=2854716 memory=2495768 CPUtime=2972.71 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 286984 0 0 0 297141 130 0 0 20 0 1 0 141249421 2923229184 623942 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 713679 623942 1198 1005 0 712442 0
Current children cumulated CPU time: 2972.71 s
Current children cumulated vsize: 2854716 KiB
Current children cumulated memory: 2495768 KiB

[startup+3042.3 s]
/proc/loadavg: 2.05 2.09 2.09 3/242 722688
/proc/meminfo: memFree=108769756/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=2854716 memory=2495768 CPUtime=3032.51 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 287952 0 0 0 303121 130 0 0 20 0 1 0 141249421 2923229184 623942 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 713679 623942 1198 1005 0 712442 0
Current children cumulated CPU time: 3032.51 s
Current children cumulated vsize: 2854716 KiB
Current children cumulated memory: 2495768 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/242 722700
/proc/meminfo: memFree=106793016/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3073684 memory=2698344 CPUtime=3092.32 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 319616 0 0 0 309096 136 0 0 20 0 1 0 141249421 3147452416 674586 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 768421 674586 1198 1005 0 767184 0
Current children cumulated CPU time: 3092.32 s
Current children cumulated vsize: 3073684 KiB
Current children cumulated memory: 2698344 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/241 722710
/proc/meminfo: memFree=106596336/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3075520 memory=2709024 CPUtime=3152.12 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 320516 0 0 0 315075 137 0 0 20 0 1 0 141249421 3149332480 677256 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 768880 677256 1198 1005 0 767643 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 3075520 KiB
Current children cumulated memory: 2709024 KiB

[startup+3222.3 s]
/proc/loadavg: 1.51 1.94 2.04 2/233 722751
/proc/meminfo: memFree=126802180/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3075520 memory=2727584 CPUtime=3211.96 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 321440 0 0 0 321058 138 0 0 20 0 1 0 141249421 3149332480 681896 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 768880 681896 1198 1005 0 767643 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 3075520 KiB
Current children cumulated memory: 2727584 KiB

[startup+3282.3 s]
/proc/loadavg: 1.25 1.78 1.97 2/233 722762
/proc/meminfo: memFree=126751640/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3078668 memory=2779252 CPUtime=3271.81 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 322560 0 0 0 327041 140 0 0 20 0 1 0 141249421 3152556032 694813 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 769667 694813 1198 1005 0 768430 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 3078668 KiB
Current children cumulated memory: 2779252 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.65 1.91 2/233 722774
/proc/meminfo: memFree=126695736/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3084276 memory=2832344 CPUtime=3331.65 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 324069 0 0 0 333024 141 0 0 20 0 1 0 141249421 3158298624 708086 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 771069 708086 1198 1005 0 769832 0
Current children cumulated CPU time: 3331.65 s
Current children cumulated vsize: 3084276 KiB
Current children cumulated memory: 2832344 KiB

[startup+3402.3 s]
/proc/loadavg: 1.17 1.56 1.87 2/233 722784
/proc/meminfo: memFree=126672344/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3084276 memory=2857040 CPUtime=3391.5 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 325044 0 0 0 339008 142 0 0 20 0 1 0 141249421 3158298624 714260 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 771069 714260 1198 1005 0 769832 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 3084276 KiB
Current children cumulated memory: 2857040 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.46 1.81 2/236 722801
/proc/meminfo: memFree=126619952/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3084276 memory=2906244 CPUtime=3451.35 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 326054 0 0 0 344991 144 0 0 20 0 1 0 141249421 3158298624 726561 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 771069 726561 1198 1005 0 769832 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 3084276 KiB
Current children cumulated memory: 2906244 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.39 1.76 2/236 722811
/proc/meminfo: memFree=126448068/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3199064 memory=3082016 CPUtime=3511.19 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 348975 0 0 0 350970 149 0 0 20 0 1 0 141249421 3275841536 770504 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 799766 770504 1198 1005 0 798529 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 3199064 KiB
Current children cumulated memory: 3082016 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.34 1.72 2/236 722822
/proc/meminfo: memFree=126149456/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3393456 memory=3374640 CPUtime=3571.04 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 364951 0 0 0 356946 158 0 0 20 0 1 0 141249421 3474898944 843660 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 848364 843660 1198 1005 0 847127 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 3393456 KiB
Current children cumulated memory: 3374640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 1.07 1.31 1.70 2/236 722829
/proc/meminfo: memFree=126148948/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=3393456 memory=3374640 CPUtime=3600.04 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 365157 0 0 0 359846 158 0 0 20 0 1 0 141249421 3474898944 843660 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 848364 843660 1198 1005 0 847127 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3393456 KiB
Current children cumulated memory: 3374640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.76 s, system=1.59811 s

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

[startup+3611.6 s]
/proc/loadavg: 1.07 1.31 1.70 2/236 722829
/proc/meminfo: memFree=126148948/131524596 swapFree=131071996/131071996
[pid=720676] ppid=720669 vsize=2120152 memory=2104092 CPUtime=3600.24 cores=0,2
/proc/720676/stat : 720676 (Exact) R 720669 720676 720629 0 -1 4194304 365363 0 0 0 359866 158 0 0 20 0 1 0 141249421 2171035648 526023 134679101440 4194304 8309489 140725551713600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18833408 140725551719389 140725551719558 140725551719558 140725551726543 0
/proc/720676/statm: 530038 526023 1198 1005 0 528801 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 2120152 KiB
Current children cumulated memory: 2104092 KiB

[startup+3611.7 s]*
/proc/loadavg: 1.07 1.31 1.70 2/236 722829
/proc/meminfo: memFree=129225628/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3611.71
CPU time (s): 3600.35
CPU user time (s): 3598.76
CPU system time (s): 1.59811
CPU usage (%): 99.6857
Max. virtual memory (cumulated for all children) (KiB): 3393456
Max. memory (cumulated for all children) (KiB): 3374640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.76
system time used= 1.59811
maximum resident set size= 3374640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365407
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= 25
involuntary context switches= 25204


# summary of solver processes directly reported to runsolver:
#   pid: 720676
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3598.76
#   total CPU system time (s): 1.59811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33999 second user time and 16.6266 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-13 19:13:21
IDJOB=4425737
IDBENCH=143887
IDSOLVER=3040
FILE ID=nodeC034/4425737-1720890789
RUNJOBID= nodeC034-1720890801-720639
SLURM_JOB_ID= 7485823
Free space on /tmp= 890072 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425737-1720890789/watcher-4425737-1720890789 -o /tmp/evaluation-result-4425737-1720890789/solver-4425737-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720890801-720639 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425737-1720890789.wbo

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

MD5SUM BENCH= 017722a65fbbcf3be40a97a1e4190efb
RANDOM SEED=153657947

nodeC034.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		: 3561.281
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.99
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		: 3648.382
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.58
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		: 3660.668
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.99
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		: 3080.778
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.58
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		: 3438.891
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.99
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		: 2863.651
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.58
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		: 3471.475
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.99
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		: 3330.172
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        129564848 kB
MemAvailable:   129769368 kB
Buffers:          325128 kB
Cached:           722964 kB
SwapCached:            0 kB
Active:           491300 kB
Inactive:         904492 kB
Active(anon):       1384 kB
Inactive(anon):   384028 kB
Active(file):     489916 kB
Inactive(file):   520464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22700 kB
Writeback:             0 kB
AnonPages:        347708 kB
Mapped:           101644 kB
Shmem:             37720 kB
KReclaimable:      67928 kB
Slab:             166008 kB
SReclaimable:      67928 kB
SUnreclaim:        98080 kB
KernelStack:        3832 kB
PageTables:         8996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:     590992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56288 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      172756 kB
DirectMap2M:     9037824 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-13 20:13:33