8.86/8.99 c Filename:instance-4448317-1721366523.opb, Cutoff_time:3600, memory_limit_gb:500000
8.86/8.99 c Not use presolve
3599.94/3607.95 c Use LS-small
3599.94/3607.95 s UNKNOWN
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: 64059 MiB (62039 MiB free)
memory of node 1: 64510 MiB (61324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448317-1721366523/watcher-4448317-1721366523 -o /tmp/evaluation-result-4448317-1721366523/solver-4448317-1721366523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721362926-988507 --watchdog 3760 ./LS-MabS -f HOME/instance-4448317-1721366523.opb -t 3600 -s 924812030
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=990529, runsolver pid=990526
[startup+0.100105 s]*
/proc/loadavg: 4.08 4.16 4.09 5/244 990530
/proc/meminfo: memFree=126278196/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=67056 memory=54340 CPUtime=0.1 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 11625 0 0 0 8 2 0 0 20 0 1 0 188808968 68665344 13585 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 16764 13585 2285 2403 0 13874 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67056 KiB
Current children cumulated memory: 54340 KiB
[startup+0.213424 s]*
/proc/loadavg: 4.08 4.16 4.09 5/244 990530
/proc/meminfo: memFree=126276516/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=77244 memory=64760 CPUtime=0.21 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 15209 0 0 0 19 2 0 0 20 0 1 0 188808968 79097856 16190 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 19311 16190 2365 2403 0 16421 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77244 KiB
Current children cumulated memory: 64760 KiB
[startup+0.31323 s]*
/proc/loadavg: 4.08 4.16 4.09 5/244 990530
/proc/meminfo: memFree=126258576/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=90860 memory=77968 CPUtime=0.32 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 18740 0 0 0 29 3 0 0 20 0 1 0 188808968 93040640 19492 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 22715 19492 2445 2403 0 19825 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 90860 KiB
Current children cumulated memory: 77968 KiB
[startup+0.700329 s]
/proc/loadavg: 4.08 4.16 4.09 5/244 990530
/proc/meminfo: memFree=126251356/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=95256 memory=81896 CPUtime=0.69 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 19726 0 0 0 66 3 0 0 20 0 1 0 188808968 97542144 20474 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 23814 20474 2445 2403 0 20924 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 95256 KiB
Current children cumulated memory: 81896 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.16 4.09 4/242 990530
/proc/meminfo: memFree=126887872/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=95256 memory=81896 CPUtime=1.48 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 19752 0 0 0 145 3 0 0 20 0 1 0 188808968 97542144 20474 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 23814 20474 2445 2403 0 20924 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95256 KiB
Current children cumulated memory: 81896 KiB
[startup+3.11379 s]
/proc/loadavg: 4.08 4.16 4.09 5/244 990576
/proc/meminfo: memFree=126790588/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=106676 memory=92408 CPUtime=3.09 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 21493 0 0 0 306 3 0 0 20 0 1 0 188808968 109236224 23102 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 26669 23102 2461 2403 0 23779 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106676 KiB
Current children cumulated memory: 92408 KiB
[startup+6.30029 s]
/proc/loadavg: 4.08 4.16 4.09 5/244 990576
/proc/meminfo: memFree=126777456/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=122572 memory=103752 CPUtime=6.27 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 24305 0 0 0 623 4 0 0 20 0 1 0 188808968 125513728 25938 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 30643 25938 2461 2403 0 27753 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122572 KiB
Current children cumulated memory: 103752 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.16 4.09 5/244 990577
/proc/meminfo: memFree=126711144/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=162028 memory=139344 CPUtime=12.65 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 34398 0 0 0 1259 6 0 0 20 0 1 0 188808968 165916672 34836 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 40507 34836 2461 2403 0 37617 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 162028 KiB
Current children cumulated memory: 139344 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.20 4.10 5/244 990580
/proc/meminfo: memFree=126641196/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=185648 memory=162932 CPUtime=25.4 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 40295 0 0 0 2534 6 0 0 20 0 1 0 188808968 190103552 40733 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 46412 40733 2461 2403 0 43522 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 185648 KiB
Current children cumulated memory: 162932 KiB
[startup+51.113 s]
/proc/loadavg: 4.17 4.18 4.10 5/244 990584
/proc/meminfo: memFree=126524412/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=195332 memory=172048 CPUtime=50.93 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 43082 0 0 0 5085 8 0 0 20 0 1 0 188808968 200019968 43012 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 48833 43012 2461 2403 0 45943 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 195332 KiB
Current children cumulated memory: 172048 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/244 990593
/proc/meminfo: memFree=126419012/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=195332 memory=172836 CPUtime=101.97 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 43323 0 0 0 10187 10 0 0 20 0 1 0 188808968 200019968 43209 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 48833 43209 2461 2403 0 45943 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 195332 KiB
Current children cumulated memory: 172836 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/244 990604
/proc/meminfo: memFree=126305004/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=202992 memory=177620 CPUtime=161.77 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 44219 0 0 0 16166 11 0 0 20 0 1 0 188808968 207863808 44405 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 50748 44405 2461 2403 0 47858 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 202992 KiB
Current children cumulated memory: 177620 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/243 991001
/proc/meminfo: memFree=126276964/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=217892 memory=200644 CPUtime=221.59 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 47535 0 0 0 22147 12 0 0 20 0 1 0 188808968 223121408 50161 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 54473 50161 2461 2403 0 51583 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 217892 KiB
Current children cumulated memory: 200644 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/243 991011
/proc/meminfo: memFree=126139408/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=229356 memory=218712 CPUtime=281.42 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 49791 0 0 0 28129 13 0 0 20 0 1 0 188808968 234860544 54678 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 57339 54678 2461 2403 0 54449 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 229356 KiB
Current children cumulated memory: 218712 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/243 991021
/proc/meminfo: memFree=126041632/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=236424 memory=225636 CPUtime=341.26 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 51719 0 0 0 34113 13 0 0 20 0 1 0 188808968 242098176 56409 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 59106 56409 2461 2403 0 56216 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 236424 KiB
Current children cumulated memory: 225636 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/245 991201
/proc/meminfo: memFree=125910116/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=269924 memory=252144 CPUtime=401.09 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 57615 0 0 0 40095 14 0 0 20 0 1 0 188808968 276402176 63036 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 67481 63036 2461 2403 0 64591 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 269924 KiB
Current children cumulated memory: 252144 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/245 991212
/proc/meminfo: memFree=125776900/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=313468 memory=294764 CPUtime=460.94 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 68302 0 0 0 46078 16 0 0 20 0 1 0 188808968 320991232 73691 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 78367 73691 2461 2403 0 75477 0
################
# More data... #
################
/proc/loadavg: 4.08 4.14 4.17 5/242 992339
/proc/meminfo: memFree=124452940/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3214.99 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97650 0 0 0 312677 8822 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3214.99 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/242 992349
/proc/meminfo: memFree=124452808/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3274.89 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97652 0 0 0 318412 9077 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3274.89 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/242 992359
/proc/meminfo: memFree=124452560/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3334.79 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97654 0 0 0 324178 9301 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3334.79 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/242 992369
/proc/meminfo: memFree=124452264/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3394.69 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97656 0 0 0 329855 9614 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3394.69 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/242 992380
/proc/meminfo: memFree=124452012/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3454.58 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97658 0 0 0 335478 9980 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3454.58 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 992394
/proc/meminfo: memFree=124451576/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3514.49 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97660 0 0 0 341088 10361 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3514.49 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 992405
/proc/meminfo: memFree=124451304/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3574.39 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97662 0 0 0 346670 10769 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3574.39 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3607.96 s]
# the end of solver process 990529 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3490.5 s, system=109.51 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.14 5/244 992405
/proc/meminfo: memFree=124451280/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3576.1 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 346828 10782 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3576.1 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.15 5/244 992406
/proc/meminfo: memFree=124451252/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3588.86 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 348014 10872 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 992408
/proc/meminfo: memFree=124451196/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3595.26 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 348610 10916 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3595.26 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992409
/proc/meminfo: memFree=124451016/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3598.45 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 348906 10939 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3598.45 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3607.2 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125876420/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3599.24 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 348979 10945 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3599.24 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3607.6 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125876420/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3599.64 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 349016 10948 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3599.64 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3607.8 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125876420/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3599.84 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 349035 10949 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
[startup+3607.9 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 992455
/proc/meminfo: memFree=125876420/131655788 swapFree=131071996/131071996
[pid=990529] ppid=990526 vsize=380476 memory=373008 CPUtime=3599.94 cores=5,7
/proc/990529/stat : 990529 (LS-MabS) R 990526 990529 988494 0 -1 4194304 97664 0 0 0 349044 10950 0 0 20 0 1 0 188808968 389607424 93252 134679101440 4194304 14036057 140728205455840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 31879168 140728205464609 140728205464710 140728205464710 140728205471726 0
/proc/990529/statm: 95119 93252 2492 2403 0 92229 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 373008 KiB
Child status: 0
Real time (s): 3607.96
CPU time (s): 3600.01
CPU user time (s): 3490.5
CPU system time (s): 109.51
CPU usage (%): 99.7798
Max. virtual memory (cumulated for all children) (KiB): 436728
Max. memory (cumulated for all children) (KiB): 416720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.5
system time used= 109.51
maximum resident set size= 416720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97669
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= 34
involuntary context switches= 1474
# summary of solver processes directly reported to runsolver:
# pid: 990529
# total CPU time (s): 3600.01
# total CPU user time (s): 3490.5
# total CPU system time (s): 109.51
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0326 second user time and 33.2999 second system time
The end
Begin job on nodeC007 at 2024-07-19 07:22:16
IDJOB=4448317
IDBENCH=160391
IDSOLVER=3048
FILE ID=nodeC007/4448317-1721366523
RUNJOBID= nodeC007-1721362926-988507
SLURM_JOB_ID= 7542786
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448317-1721366523/watcher-4448317-1721366523 -o /tmp/evaluation-result-4448317-1721366523/solver-4448317-1721366523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721362926-988507 --watchdog 3760 ./LS-MabS -f HOME/instance-4448317-1721366523.opb -t 3600 -s 924812030
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ea5e7256587f4a4e9df55aed19f52ebe
RANDOM SEED=924812030
nodeC007.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 : 0xb00001f
cpu MHz : 3666.819
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 2394.259
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.148
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 3491.628
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3491.649
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.132
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126325532 kB
MemAvailable: 129231384 kB
Buffers: 520516 kB
Cached: 3215628 kB
SwapCached: 0 kB
Active: 1068052 kB
Inactive: 3697388 kB
Active(anon): 1476 kB
Inactive(anon): 1065524 kB
Active(file): 1066576 kB
Inactive(file): 2631864 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 39564 kB
Writeback: 0 kB
AnonPages: 1029136 kB
Mapped: 136248 kB
Shmem: 37704 kB
KReclaimable: 94884 kB
Slab: 196564 kB
SReclaimable: 94884 kB
SUnreclaim: 101680 kB
KernelStack: 3904 kB
PageTables: 11120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1449360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 884736 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC007 at 2024-07-19 08:22:24