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: 63665 MiB (62426 MiB free)
memory of node 1: 64507 MiB (63395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520790-1751566631/watcher-4520790-1751566631 -o /tmp/evaluation-result-4520790-1751566631/solver-4520790-1751566631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751566631-80547 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4520790-1751566631.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80603, runsolver pid=80592
[startup+0.100047 s]*
/proc/loadavg: 0.61 1.52 2.84 5/265 80604
/proc/meminfo: memFree=128842588/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=0.09 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 9 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+0.204596 s]*
/proc/loadavg: 0.61 1.52 2.84 5/265 80604
/proc/meminfo: memFree=128842588/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=0.19 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 19 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+0.304546 s]*
/proc/loadavg: 0.61 1.52 2.84 5/265 80604
/proc/meminfo: memFree=128842904/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=0.29 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 29 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+0.700098 s]
/proc/loadavg: 0.61 1.52 2.84 5/265 80604
/proc/meminfo: memFree=128842904/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=0.68 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 68 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+1.5001 s]
/proc/loadavg: 0.61 1.52 2.84 5/265 80604
/proc/meminfo: memFree=128842904/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=1.48 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 148 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+3.10443 s]
/proc/loadavg: 0.88 1.56 2.84 5/266 80605
/proc/meminfo: memFree=128843640/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=3.08 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 308 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+6.30009 s]
/proc/loadavg: 0.88 1.56 2.84 5/266 80605
/proc/meminfo: memFree=128843720/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=41384 memory=6912 CPUtime=6.27 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) R 80592 80603 80534 0 -1 4194304 714 0 0 0 627 0 0 0 20 0 1 0 72342756 42377216 1728 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 10346 1728 1184 6655 0 581 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 6912 KiB
[startup+12.7002 s]
/proc/loadavg: 1.13 1.60 2.85 4/266 80650
/proc/meminfo: memFree=128784240/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=29324 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 7331 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 7331 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=55236 memory=42772 CPUtime=1.37 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 7710 0 0 0 134 3 0 0 20 0 1 0 72343882 56561664 10693 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 13809 10693 1120 1011 0 12576 0
Current children cumulated CPU time: 13.18 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 72096 KiB
[startup+25.5001 s]
/proc/loadavg: 2.00 1.77 2.88 7/271 80660
/proc/meminfo: memFree=128494980/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=29324 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 7331 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 7331 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=100384 memory=90036 CPUtime=14.15 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 16374 0 0 0 1400 15 0 0 20 0 1 0 72343882 102793216 22509 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 25096 22509 1152 1011 0 23863 0
Current children cumulated CPU time: 25.96 s
Current children cumulated vsize: 227536 KiB
Current children cumulated memory: 119360 KiB
[startup+51.1057 s]
/proc/loadavg: 3.43 2.13 2.97 6/271 80662
/proc/meminfo: memFree=128003084/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=29324 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 7331 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 7331 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=158552 memory=134144 CPUtime=39.69 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 25259 0 0 0 3933 36 0 0 20 0 1 0 72343882 162357248 33536 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 39638 33536 1152 1011 0 38405 0
Current children cumulated CPU time: 51.5 s
Current children cumulated vsize: 285704 KiB
Current children cumulated memory: 163468 KiB
[startup+102.3 s]
/proc/loadavg: 4.60 2.65 3.11 7/270 80664
/proc/meminfo: memFree=127883456/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=29324 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 7331 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 7331 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=189396 memory=157568 CPUtime=90.73 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 31136 0 0 0 9003 70 0 0 20 0 1 0 72343882 193941504 39392 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 47349 39392 1152 1011 0 46116 0
Current children cumulated CPU time: 102.54 s
Current children cumulated vsize: 316548 KiB
Current children cumulated memory: 186892 KiB
[startup+162.3 s]
/proc/loadavg: 5.56 3.28 3.30 7/271 80667
/proc/meminfo: memFree=127767732/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=196956 memory=164864 CPUtime=150.54 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 32991 0 0 0 14941 113 0 0 20 0 1 0 72343882 201682944 41216 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 49239 41216 1152 1011 0 48006 0
Current children cumulated CPU time: 162.35 s
Current children cumulated vsize: 324108 KiB
Current children cumulated memory: 197132 KiB
[startup+222.3 s]
/proc/loadavg: 5.32 3.64 3.42 6/271 80671
/proc/meminfo: memFree=127261520/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=201056 memory=176256 CPUtime=210.36 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 34064 0 0 0 20885 151 0 0 20 0 1 0 72343882 205881344 44064 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 50264 44064 1152 1011 0 49031 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 328208 KiB
Current children cumulated memory: 208524 KiB
[startup+282.3 s]
/proc/loadavg: 5.21 3.92 3.53 6/271 80673
/proc/meminfo: memFree=127087348/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=206624 memory=189312 CPUtime=270.2 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 35465 0 0 0 26828 192 0 0 20 0 1 0 72343882 211582976 47328 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 51656 47328 1152 1011 0 50423 0
Current children cumulated CPU time: 282.01 s
Current children cumulated vsize: 333776 KiB
Current children cumulated memory: 221580 KiB
[startup+342.3 s]
/proc/loadavg: 5.18 4.15 3.64 6/267 80675
/proc/meminfo: memFree=126879688/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
################
# More data... #
################
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 42437 0 0 0 133905 854 0 0 20 0 1 0 72343882 239943680 54144 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 58580 54144 1152 1011 0 57347 0
Current children cumulated CPU time: 1359.4 s
Current children cumulated vsize: 361472 KiB
Current children cumulated memory: 248844 KiB
[startup+1422.3 s]
/proc/loadavg: 4.12 4.13 4.02 5/268 80733
/proc/meminfo: memFree=126145080/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=236344 memory=218624 CPUtime=1407.46 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 42954 0 0 0 139863 883 0 0 20 0 1 0 72343882 242016256 54656 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 59086 54656 1152 1011 0 57853 0
Current children cumulated CPU time: 1419.27 s
Current children cumulated vsize: 363496 KiB
Current children cumulated memory: 250892 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/268 80735
/proc/meminfo: memFree=126103248/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=239212 memory=221568 CPUtime=1467.31 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 43671 0 0 0 145817 914 0 0 20 0 1 0 72343882 244953088 55392 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 59803 55392 1152 1011 0 58570 0
Current children cumulated CPU time: 1479.12 s
Current children cumulated vsize: 366364 KiB
Current children cumulated memory: 253836 KiB
[startup+1542.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/266 80737
/proc/meminfo: memFree=126084516/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=239820 memory=222208 CPUtime=1527.17 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 43906 0 0 0 151769 948 0 0 20 0 1 0 72343882 245575680 55552 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 59955 55552 1152 1011 0 58722 0
Current children cumulated CPU time: 1538.98 s
Current children cumulated vsize: 366972 KiB
Current children cumulated memory: 254476 KiB
[startup+1602.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/267 80744
/proc/meminfo: memFree=126074680/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244124 memory=232764 CPUtime=1587.03 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45027 0 0 0 157723 980 0 0 20 0 1 0 72343882 249982976 58191 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61031 58191 1152 1011 0 59798 0
Current children cumulated CPU time: 1598.84 s
Current children cumulated vsize: 371276 KiB
Current children cumulated memory: 265032 KiB
[startup+1662.3 s]
/proc/loadavg: 4.00 4.09 4.02 5/266 80791
/proc/meminfo: memFree=126492684/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1646.89 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 163678 1011 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1658.7 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
[startup+1668.96 s]
# the end of solver process 80603 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1655.18 s, system=10.1774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 4.00 4.09 4.02 5/266 80791
/proc/meminfo: memFree=126492952/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1648.59 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 163844 1015 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1660.4 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
[startup+1667.2 s]
/proc/loadavg: 4.00 4.09 4.02 5/266 80791
/proc/meminfo: memFree=126487156/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1651.78 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 164163 1015 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1663.59 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
[startup+1668 s]*
/proc/loadavg: 4.00 4.08 4.02 5/266 80791
/proc/meminfo: memFree=126487156/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1652.58 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 164243 1015 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1664.39 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
[startup+1668.4 s]
/proc/loadavg: 4.00 4.08 4.02 5/266 80791
/proc/meminfo: memFree=126487156/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1652.98 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 164283 1015 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1664.79 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
[startup+1668.8 s]
/proc/loadavg: 4.00 4.08 4.02 5/266 80791
/proc/meminfo: memFree=126487156/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1653.37 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 164322 1015 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1665.18 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
[startup+1668.9 s]
/proc/loadavg: 4.00 4.08 4.02 5/266 80791
/proc/meminfo: memFree=126487156/131249996 swapFree=33010416/33010684
[pid=80603] ppid=80592 vsize=127152 memory=32268 CPUtime=11.81 cores=5,7
/proc/80603/stat : 80603 (LSIPExact) S 80592 80603 80534 0 -1 4194304 4186 227 0 0 1180 1 0 0 20 0 1 0 72342756 130203648 8067 18446744073709551615 94678384525312 94678411781713 140723028409312 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94678420284552 94678420716160 94678453698560 140723028416858 140723028417034 140723028417034 140723028422636 0
/proc/80603/statm: 31788 8067 3488 6655 0 6192 0
[pid=80622] ppid=80603 vsize=244888 memory=233532 CPUtime=1653.47 cores=5,7
/proc/80622/stat : 80622 (Exact) R 80603 80622 80622 0 -1 4194304 45218 0 0 0 164332 1015 0 0 20 0 1 0 72343882 250765312 58383 18446744073709551615 4198400 8335837 140723288204656 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 30416896 140723288213684 140723288214045 140723288214045 140723288219599 0
/proc/80622/statm: 61222 58383 1152 1011 0 59989 0
Current children cumulated CPU time: 1665.28 s
Current children cumulated vsize: 372040 KiB
Current children cumulated memory: 265800 KiB
Child status: 0
Real time (s): 1668.96
CPU time (s): 1665.36
CPU user time (s): 1655.18
CPU system time (s): 10.1774
CPU usage (%): 99.7845
Max. virtual memory (cumulated for all children) (KiB): 372040
Max. memory (cumulated for all children) (KiB): 265800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1655.18
system time used= 10.1774
maximum resident set size= 233660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49635
page faults= 0
swaps= 0
block input operations= 168
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 463
involuntary context switches= 1086
# summary of solver processes directly reported to runsolver:
# pid: 80603
# total CPU time (s): 1665.36
# total CPU user time (s): 1655.18
# total CPU system time (s): 10.1774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.44108 second user time and 7.68517 second system time
The end
Begin job on nodeC030 at 2025-07-03 20:17:12
IDJOB=4520790
IDBENCH=178130
IDSOLVER=3337
FILE ID=nodeC030/4520790-1751566631
RUNJOBID= nodeC030-1751566631-80547
SLURM_JOB_ID= 9598780
Free space on /tmp= 432496 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520790-1751566631/watcher-4520790-1751566631 -o /tmp/evaluation-result-4520790-1751566631/solver-4520790-1751566631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751566631-80547 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4520790-1751566631.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 789fc3771aff9bb0c01300f49f64e5c8
RANDOM SEED=1029341690
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.602
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3552.372
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.554
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.467
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.314
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.153
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128847576 kB
MemAvailable: 129773996 kB
Buffers: 2564 kB
Cached: 1717244 kB
SwapCached: 16 kB
Active: 506800 kB
Inactive: 1273732 kB
Active(anon): 74224 kB
Inactive(anon): 4548 kB
Active(file): 432576 kB
Inactive(file): 1269184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 178288 kB
Writeback: 4 kB
AnonPages: 63772 kB
Mapped: 103308 kB
Shmem: 18048 kB
KReclaimable: 127400 kB
Slab: 217816 kB
SReclaimable: 127400 kB
SUnreclaim: 90416 kB
KernelStack: 3908 kB
PageTables: 2648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 332956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432304 MiB
End job on nodeC030 at 2025-07-03 20:45:01