0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.49/0.54 c [STEP] solving
0.49/0.54 c #variables 320998 #constraints 7000
0.49/0.55 c SMALL=int, LARGE=long long
0.49/0.57 c bounds - >= 0 @ 0.494153
0.49/0.57 c stratification level: 119918
1.09/1.18 c bounds 1042508 >= 0 @ 0.806096
1.09/1.18 c stratification level: 114904
2995.50/3002.81 terminate called after throwing an instance of 'rs::OutOfMemoryException'
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: 63931 MiB (60850 MiB free)
memory of node 1: 64510 MiB (59012 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454422-1721472692/watcher-4454422-1721472692 -o /tmp/evaluation-result-4454422-1721472692/solver-4454422-1721472692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077170 --watchdog 3760 pb-oll-rs HOME/instance-4454422-1721472692.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1079227, runsolver pid=1079224
[startup+0.100548 s]*
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122622576/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=160584 memory=115408 CPUtime=0.09 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 15447 0 0 0 5 4 0 0 20 0 1 0 199437484 164438016 28852 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 40146 28852 1130 291 0 31680 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 160584 KiB
Current children cumulated memory: 115408 KiB
[startup+0.205492 s]*
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122638600/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=123260 memory=92824 CPUtime=0.2 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 15812 0 0 0 16 4 0 0 20 0 1 0 199437484 126218240 23206 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 30815 23206 1167 291 0 22349 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 92824 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122628068/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=127052 memory=96188 CPUtime=0.29 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 16626 0 0 0 25 4 0 0 20 0 1 0 199437484 130101248 24047 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 31763 24047 1167 291 0 23297 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127052 KiB
Current children cumulated memory: 96188 KiB
[startup+0.700219 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122602916/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=156068 memory=119796 CPUtime=0.69 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 21393 0 0 0 57 12 0 0 20 0 1 0 199437484 159813632 29949 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 39017 29949 1326 291 0 30551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 156068 KiB
Current children cumulated memory: 119796 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122554060/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=211032 memory=169064 CPUtime=1.48 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 28040 0 0 0 111 37 0 0 20 0 1 0 199437484 216096768 42266 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 52758 42266 1358 291 0 44292 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 211032 KiB
Current children cumulated memory: 169064 KiB
[startup+3.10546 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079274
/proc/meminfo: memFree=122578192/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=284788 memory=253308 CPUtime=3.09 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 41958 0 0 0 256 53 0 0 20 0 1 0 199437484 291622912 63327 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 71197 63327 1358 291 0 62731 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 284788 KiB
Current children cumulated memory: 253308 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.06 5/257 1079276
/proc/meminfo: memFree=122277052/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=439684 memory=383652 CPUtime=6.27 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 60807 0 0 0 546 81 0 0 20 0 1 0 199437484 450236416 95913 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 109921 95913 1358 291 0 101455 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 439684 KiB
Current children cumulated memory: 383652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 1079276
/proc/meminfo: memFree=121852160/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=803972 memory=642480 CPUtime=12.65 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 98482 0 0 0 1157 108 0 0 20 0 1 0 199437484 823267328 160620 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 200993 160620 1358 291 0 192527 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 803972 KiB
Current children cumulated memory: 642480 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 1079279
/proc/meminfo: memFree=120982536/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=1332912 memory=1157372 CPUtime=25.42 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 177686 0 0 0 2352 190 0 0 20 0 1 0 199437484 1364901888 289343 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 333228 289343 1358 291 0 324762 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1332912 KiB
Current children cumulated memory: 1157372 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.13 4.07 5/257 1079282
/proc/meminfo: memFree=119915728/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=2271556 memory=2017952 CPUtime=50.95 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 323443 0 0 0 4214 881 0 0 20 0 1 0 199437484 2326073344 504488 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 567889 504488 1358 291 0 559423 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2271556 KiB
Current children cumulated memory: 2017952 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.06 5/257 1079291
/proc/meminfo: memFree=117673480/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=3877092 memory=3726568 CPUtime=102 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 585285 0 0 0 9098 1102 0 0 20 0 1 0 199437484 3970142208 931642 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 969273 931642 1358 291 0 960807 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 3877092 KiB
Current children cumulated memory: 3726568 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/257 1079302
/proc/meminfo: memFree=114377608/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=6672356 memory=6084916 CPUtime=161.83 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 957721 0 0 0 14796 1387 0 0 20 0 1 0 199437484 6832492544 1521229 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 1668089 1521229 1358 291 0 1659623 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 6672356 KiB
Current children cumulated memory: 6084916 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/255 1079313
/proc/meminfo: memFree=112389408/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=8599416 memory=7742616 CPUtime=221.65 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 1145039 0 0 0 20219 1946 0 0 20 0 1 0 199437484 8805801984 1935654 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 2149854 1935654 1358 291 0 2141388 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 8599416 KiB
Current children cumulated memory: 7742616 KiB
[startup+282.3 s]
/proc/loadavg: 4.53 4.22 4.10 5/257 1079711
/proc/meminfo: memFree=111777096/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=8699132 memory=8271428 CPUtime=281.48 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 1179424 0 0 0 25809 2339 0 0 20 0 1 0 199437484 8907911168 2067857 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 2174783 2067857 1358 291 0 2166317 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 8699132 KiB
Current children cumulated memory: 8271428 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/258 1079722
/proc/meminfo: memFree=111579640/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=8699132 memory=8271660 CPUtime=341.3 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 1180679 0 0 0 31757 2373 0 0 20 0 1 0 199437484 8907911168 2067915 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 2174783 2067915 1416 291 0 2166317 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 8699132 KiB
Current children cumulated memory: 8271660 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.20 4.10 5/260 1079903
/proc/meminfo: memFree=111114656/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=8699132 memory=8560464 CPUtime=401.14 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 1184928 0 0 0 37720 2394 0 0 20 0 1 0 199437484 8907911168 2140116 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 2174783 2140116 1416 291 0 2166317 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 8699132 KiB
Current children cumulated memory: 8560464 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.10 5/260 1079913
/proc/meminfo: memFree=108074364/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=14841376 memory=11409068 CPUtime=461 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 1777516 0 0 0 43591 2509 0 0 20 0 1 0 199437484 15197569024 2852267 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 3710344 2852267 1416 291 0 3701878 0
################
# More data... #
################
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25246432 KiB
[startup+2622.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/255 1080941
/proc/meminfo: memFree=88845968/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25334216 CPUtime=2615.9 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4016379 0 0 0 255215 6375 0 0 20 0 1 0 199437484 29366124544 6333554 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6333554 1416 291 0 7160998 0
Current children cumulated CPU time: 2615.9 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25334216 KiB
[startup+2682.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/255 1080951
/proc/meminfo: memFree=88005980/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25559244 CPUtime=2675.76 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4051466 0 0 0 261149 6427 0 0 20 0 1 0 199437484 29366124544 6389811 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6389811 1416 291 0 7160998 0
Current children cumulated CPU time: 2675.76 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559244 KiB
[startup+2742.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/255 1080961
/proc/meminfo: memFree=87997960/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25559244 CPUtime=2735.62 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4053767 0 0 0 266886 6676 0 0 20 0 1 0 199437484 29366124544 6389811 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6389811 1416 291 0 7160998 0
Current children cumulated CPU time: 2735.62 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559244 KiB
[startup+2802.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/255 1080973
/proc/meminfo: memFree=87987548/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25559244 CPUtime=2795.48 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4057554 0 0 0 272844 6704 0 0 20 0 1 0 199437484 29366124544 6389811 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6389811 1416 291 0 7160998 0
Current children cumulated CPU time: 2795.48 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559244 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/255 1080984
/proc/meminfo: memFree=87978232/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25559244 CPUtime=2855.33 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4061146 0 0 0 278719 6814 0 0 20 0 1 0 199437484 29366124544 6389811 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6389811 1416 291 0 7160998 0
Current children cumulated CPU time: 2855.33 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559244 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 1080999
/proc/meminfo: memFree=87966364/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25559244 CPUtime=2915.19 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4066071 0 0 0 284592 6927 0 0 20 0 1 0 199437484 29366124544 6389811 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6389811 1416 291 0 7160998 0
Current children cumulated CPU time: 2915.19 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559244 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/257 1081010
/proc/meminfo: memFree=87904688/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25622680 CPUtime=2975.06 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4077834 0 0 0 290451 7055 0 0 20 0 1 0 199437484 29366124544 6405670 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6405670 1416 291 0 7160998 0
Current children cumulated CPU time: 2975.06 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25622680 KiB
[startup+3033.62 s]
# the end of solver process 1079227 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2924.71 s, system=73.4699 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2995.2 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1081013
/proc/meminfo: memFree=87700636/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25821952 CPUtime=2987.93 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) R 1079224 1079227 1077157 0 -1 4194304 4086329 0 0 0 291719 7074 0 0 20 0 1 0 199437484 29366124544 6455488 134679101440 4194304 5384485 140733020016880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6455488 1416 291 0 7160998 0
Current children cumulated CPU time: 2987.93 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25821952 KiB
[startup+3020.8 s]
/proc/loadavg: 4.40 4.18 4.12 4/259 1081020
/proc/meminfo: memFree=85027404/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25970608 CPUtime=2997.5 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) S 1079224 1079227 1077157 0 -1 4195840 4093499 0 0 0 292470 7280 0 0 20 0 1 0 199437484 29366124544 6492652 134679101440 4194304 5384485 140733020016880 140733020012496 139822591275903 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6492652 1416 291 0 7160998 0
Current children cumulated CPU time: 2997.5 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25970608 KiB
[startup+3027.2 s]
/proc/loadavg: 4.45 4.19 4.12 4/259 1081022
/proc/meminfo: memFree=85027084/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25970608 CPUtime=2997.5 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) S 1079224 1079227 1077157 0 -1 4195840 4093499 0 0 0 292470 7280 0 0 20 0 1 0 199437484 29366124544 6492652 134679101440 4194304 5384485 140733020016880 140733020012496 139822591275903 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6492652 1416 291 0 7160998 0
Current children cumulated CPU time: 2997.5 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25970608 KiB
[startup+3030.4 s]
/proc/loadavg: 4.49 4.21 4.13 4/259 1081022
/proc/meminfo: memFree=85027140/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25970608 CPUtime=2997.5 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) S 1079224 1079227 1077157 0 -1 4195840 4093499 0 0 0 292470 7280 0 0 20 0 1 0 199437484 29366124544 6492652 134679101440 4194304 5384485 140733020016880 140733020012496 139822591275903 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6492652 1416 291 0 7160998 0
Current children cumulated CPU time: 2997.5 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25970608 KiB
[startup+3032 s]*
/proc/loadavg: 4.49 4.21 4.13 4/259 1081022
/proc/meminfo: memFree=85027116/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25970608 CPUtime=2997.5 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) S 1079224 1079227 1077157 0 -1 4195840 4093499 0 0 0 292470 7280 0 0 20 0 1 0 199437484 29366124544 6492652 134679101440 4194304 5384485 140733020016880 140733020012496 139822591275903 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6492652 1416 291 0 7160998 0
Current children cumulated CPU time: 2997.5 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25970608 KiB
[startup+3032.8 s]
/proc/loadavg: 4.49 4.21 4.13 4/259 1081022
/proc/meminfo: memFree=85027116/131524600 swapFree=131071996/131071996
[pid=1079227] ppid=1079224 vsize=28677856 memory=25970608 CPUtime=2997.5 cores=5,7
/proc/1079227/stat : 1079227 (pb-oll-rs) S 1079224 1079227 1077157 0 -1 4195840 4093499 0 0 0 292470 7280 0 0 20 0 1 0 199437484 29366124544 6492652 134679101440 4194304 5384485 140733020016880 140733020012496 139822591275903 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 35020800 140733020021781 140733020021858 140733020021858 140733020028875 0
/proc/1079227/statm: 7169464 6492652 1416 291 0 7160998 0
Current children cumulated CPU time: 2997.5 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25970608 KiB
[startup+3033.2 s]
/proc/loadavg: 4.49 4.21 4.13 5/259 1081022
/proc/meminfo: memFree=90146944/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3033.6 s]
/proc/loadavg: 4.49 4.21 4.13 5/259 1081022
/proc/meminfo: memFree=90146944/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 3033.62
CPU time (s): 2998.18
CPU user time (s): 2924.71
CPU system time (s): 73.4699
CPU usage (%): 98.8317
Max. virtual memory (cumulated for all children) (KiB): 28677856
Max. memory (cumulated for all children) (KiB): 25970608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2924.71
system time used= 73.4699
maximum resident set size= 25971132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4093499
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= 110
involuntary context switches= 2051
# summary of solver processes directly reported to runsolver:
# pid: 1079227
# total CPU time (s): 2998.18
# total CPU user time (s): 2924.71
# total CPU system time (s): 73.4699
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88501 second user time and 15.1407 second system time
The end
Begin job on nodeC031 at 2024-07-20 12:51:45
IDJOB=4454422
IDBENCH=148706
IDSOLVER=3082
FILE ID=nodeC031/4454422-1721472692
RUNJOBID= nodeC031-1721469094-1077170
SLURM_JOB_ID= 7545727
Free space on /tmp= 890064 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454422-1721472692/watcher-4454422-1721472692 -o /tmp/evaluation-result-4454422-1721472692/solver-4454422-1721472692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077170 --watchdog 3760 pb-oll-rs HOME/instance-4454422-1721472692.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f763b12660c46c190e6f60f61a3aa351
RANDOM SEED=942829975
nodeC031.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 : 3669.595
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.55
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 : 3677.345
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.851
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.55
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 : 3599.794
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 : 7006.11
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 : 3669.564
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.55
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 : 3680.429
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.792
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.55
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 : 3643.726
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122740248 kB
MemAvailable: 129354664 kB
Buffers: 543252 kB
Cached: 6837284 kB
SwapCached: 0 kB
Active: 1090984 kB
Inactive: 6902488 kB
Active(anon): 1536 kB
Inactive(anon): 657308 kB
Active(file): 1089448 kB
Inactive(file): 6245180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21504 kB
Writeback: 0 kB
AnonPages: 602836 kB
Mapped: 111660 kB
Shmem: 45912 kB
KReclaimable: 238872 kB
Slab: 369052 kB
SReclaimable: 238872 kB
SUnreclaim: 130180 kB
KernelStack: 4144 kB
PageTables: 10712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1010924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 432128 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC031 at 2024-07-20 13:42:19