160.54/161.11 c Filename:instance-4446336-1721341991.opb, Cutoff_time:3600, memory_limit_gb:500000
160.54/161.11 c Use Presolve
160.54/161.11 c Parse finsih
160.54/161.11 c Start Presolve
160.54/161.11 c After Reduce Vars: 7936 Clauses: 177125 Top clause weight: 1 Hard Clauses: 177125
3599.90/3609.39 c Use LS-small
3599.90/3609.39 s UNKNOWN
3600.00/3609.40 corrupted double-linked list
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 (59026 MiB free)
memory of node 1: 64510 MiB (61687 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446336-1721341991/watcher-4446336-1721341991 -o /tmp/evaluation-result-4446336-1721341991/solver-4446336-1721341991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983769 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446336-1721341991.opb -t 3600 -s 466020673
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=983795, runsolver pid=983792
[startup+0.100436 s]*
/proc/loadavg: 1.10 1.44 2.30 5/233 983797
/proc/meminfo: memFree=123567812/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=29068 memory=16556 CPUtime=0.1 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 2428 0 0 0 10 0 0 0 20 0 1 0 186357844 29765632 4139 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 7267 4139 1073 2753 0 3920 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29068 KiB
Current children cumulated memory: 16556 KiB
[startup+0.213556 s]*
/proc/loadavg: 1.10 1.44 2.30 5/239 983807
/proc/meminfo: memFree=123534208/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=32140 memory=19768 CPUtime=0.21 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 3451 0 0 0 21 0 0 0 20 0 1 0 186357844 32911360 4942 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 8035 4942 1073 2753 0 4688 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32140 KiB
Current children cumulated memory: 19768 KiB
[startup+0.313773 s]*
/proc/loadavg: 1.10 1.44 2.30 5/239 983807
/proc/meminfo: memFree=123516228/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=32140 memory=19768 CPUtime=0.31 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 3451 0 0 0 31 0 0 0 20 0 1 0 186357844 32911360 4942 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 8035 4942 1073 2753 0 4688 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32140 KiB
Current children cumulated memory: 19768 KiB
[startup+0.700267 s]
/proc/loadavg: 1.10 1.44 2.30 6/237 983807
/proc/meminfo: memFree=123499932/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=36368 memory=23872 CPUtime=0.68 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 3988 0 0 0 67 1 0 0 20 0 1 0 186357844 37240832 5968 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 9092 5968 1073 2753 0 5745 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36368 KiB
Current children cumulated memory: 23872 KiB
[startup+1.50028 s]
/proc/loadavg: 1.10 1.44 2.30 5/243 983818
/proc/meminfo: memFree=123369720/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=61208 memory=34468 CPUtime=1.48 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 5107 0 0 0 146 2 0 0 20 0 1 0 186357844 62676992 8617 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 15302 8617 1073 2753 0 11955 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 34468 KiB
[startup+3.11306 s]
/proc/loadavg: 1.10 1.44 2.30 5/247 983829
/proc/meminfo: memFree=122742104/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=162156 memory=139452 CPUtime=3.1 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 12687 0 0 0 304 6 0 0 20 0 1 0 186357844 166047744 34863 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 40539 34863 1105 2753 0 37192 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 162156 KiB
Current children cumulated memory: 139452 KiB
[startup+6.30031 s]
/proc/loadavg: 1.42 1.50 2.32 5/247 983829
/proc/meminfo: memFree=122412224/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=162156 memory=139748 CPUtime=6.27 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 12708 0 0 0 621 6 0 0 20 0 1 0 186357844 166047744 34937 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 40539 34937 1153 2753 0 37192 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 162156 KiB
Current children cumulated memory: 139748 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.56 2.33 5/247 983831
/proc/meminfo: memFree=121686968/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=553444 memory=530180 CPUtime=12.66 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 108990 0 0 0 1244 22 0 0 20 0 1 0 186357844 566726656 132545 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 138361 132545 2689 2753 0 135014 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 553444 KiB
Current children cumulated memory: 530180 KiB
[startup+25.5003 s]
/proc/loadavg: 2.51 1.74 2.38 5/245 983832
/proc/meminfo: memFree=119637536/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1094512 memory=1007124 CPUtime=25.41 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 172944 0 0 0 2504 37 0 0 20 0 1 0 186357844 1120780288 251781 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 273628 251781 2849 2753 0 270281 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1094512 KiB
Current children cumulated memory: 1007124 KiB
[startup+51.1133 s]
/proc/loadavg: 3.42 2.02 2.46 5/245 983837
/proc/meminfo: memFree=117523556/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1165920 memory=1040252 CPUtime=50.94 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 177768 0 0 0 5056 38 0 0 20 0 1 0 186357844 1193902080 260063 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 291480 260063 2849 2753 0 288133 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1165920 KiB
Current children cumulated memory: 1040252 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 2.37 2.55 5/245 983846
/proc/meminfo: memFree=115934476/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1237956 memory=1067980 CPUtime=102 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 179649 0 0 0 10160 40 0 0 20 0 1 0 186357844 1267666944 266995 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 309489 266995 2849 2753 0 306142 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1237956 KiB
Current children cumulated memory: 1067980 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.70 2.66 5/241 983857
/proc/meminfo: memFree=115721160/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1540632 memory=1274128 CPUtime=161.82 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 227843 0 0 0 16134 48 0 0 20 0 1 0 186357844 1577607168 318532 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 385158 318532 2849 2753 0 381811 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1540632 KiB
Current children cumulated memory: 1274128 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.97 2.75 5/241 983867
/proc/meminfo: memFree=115702964/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1540632 memory=1275720 CPUtime=221.59 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 228560 0 0 0 22111 48 0 0 20 0 1 0 186357844 1577607168 318930 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 385158 318930 2849 2753 0 381811 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1540632 KiB
Current children cumulated memory: 1275720 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 3.21 2.85 5/241 983877
/proc/meminfo: memFree=114080044/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1645384 memory=1280620 CPUtime=281.39 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 228998 0 0 0 28090 49 0 0 20 0 1 0 186357844 1684873216 320155 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 411346 320155 2849 2753 0 407999 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1645384 KiB
Current children cumulated memory: 1280620 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.37 2.93 5/241 983887
/proc/meminfo: memFree=114033800/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1688344 memory=1326256 CPUtime=341.18 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 275588 0 0 0 34061 57 0 0 20 0 1 0 186357844 1728864256 331564 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 422086 331564 2849 2753 0 418739 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1688344 KiB
Current children cumulated memory: 1326256 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.49 3.00 5/241 983898
/proc/meminfo: memFree=114028656/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1688344 memory=1331028 CPUtime=400.99 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 275803 0 0 0 40042 57 0 0 20 0 1 0 186357844 1728864256 332757 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 422086 332757 2849 2753 0 418739 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1688344 KiB
Current children cumulated memory: 1331028 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.63 3.08 5/244 983913
/proc/meminfo: memFree=114021276/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=1688344 memory=1337964 CPUtime=460.82 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 276040 0 0 0 46024 58 0 0 20 0 1 0 186357844 1728864256 334491 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 422086 334491 2849 2753 0 418739 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.14 4.18 4.10 5/244 984959
/proc/meminfo: memFree=114057400/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3094.08 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 363920 0 0 0 308452 956 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/243 985353
/proc/meminfo: memFree=114056988/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3153.94 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364049 0 0 0 314397 997 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3153.94 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/243 985363
/proc/meminfo: memFree=114056848/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3213.81 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364178 0 0 0 320345 1036 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/243 985373
/proc/meminfo: memFree=114056452/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3273.66 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364307 0 0 0 326285 1081 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/243 985551
/proc/meminfo: memFree=114056200/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3333.53 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364436 0 0 0 332235 1118 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/243 985563
/proc/meminfo: memFree=114056044/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3393.38 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364565 0 0 0 338179 1159 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.29 4.15 5/243 985630
/proc/meminfo: memFree=114055700/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3453.24 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364694 0 0 0 344124 1200 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.56 4.34 4.18 5/243 985641
/proc/meminfo: memFree=114055472/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3513.11 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364823 0 0 0 350070 1241 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.31 4.18 5/243 985652
/proc/meminfo: memFree=114055136/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3572.97 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 364952 0 0 0 356015 1282 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.26 4.30 4.18 4/240 985671
/proc/meminfo: memFree=114704156/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243264 memory=1468352 CPUtime=3600 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) R 983792 983795 983756 0 -1 4194304 365040 0 0 0 358697 1303 0 0 20 0 1 0 186357844 2297102336 367088 134679101440 4194304 15467897 140727439524288 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560816 367088 2849 2753 0 557469 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2243264 KiB
Current children cumulated memory: 1468352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.42 s]
# the end of solver process 983795 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.97 s, system=14.3922 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.26 4.30 4.18 4/240 985671
/proc/meminfo: memFree=114704156/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243268 memory=1468352 CPUtime=3600 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) S 983792 983795 983756 0 -1 4195840 365059 0 0 0 358697 1303 0 0 20 0 1 0 186357844 2297106432 367088 134679101440 4194304 15467897 140727439524288 140727439520544 14764652 0 16384 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560817 367088 2849 2753 0 557470 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2243268 KiB
Current children cumulated memory: 1468352 KiB
[startup+3610.4 s]
/proc/loadavg: 4.16 4.27 4.17 6/241 985722
/proc/meminfo: memFree=117440288/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243268 memory=1468352 CPUtime=3600.35 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) S 983792 983795 983756 0 -1 4195840 365063 0 0 0 358697 1338 0 0 20 0 1 0 186357844 2297106432 367088 134679101440 4194304 15467897 140727439524288 140727439520544 14764652 0 16384 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560817 367088 2849 2753 0 557470 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 2243268 KiB
Current children cumulated memory: 1468352 KiB
[startup+3611.2 s]
/proc/loadavg: 4.16 4.27 4.17 5/244 985751
/proc/meminfo: memFree=117017076/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243268 memory=1468352 CPUtime=3601.14 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) S 983792 983795 983756 0 -1 4195840 365063 0 0 0 358697 1417 0 0 20 0 1 0 186357844 2297106432 367088 134679101440 4194304 15467897 140727439524288 140727439520544 14764652 0 16384 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560817 367088 2849 2753 0 557470 0
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 2243268 KiB
Current children cumulated memory: 1468352 KiB
[startup+3611.4 s]
/proc/loadavg: 4.16 4.27 4.17 5/244 985751
/proc/meminfo: memFree=117017076/131655788 swapFree=131071996/131071996
[pid=983795] ppid=983792 vsize=2243268 memory=1468352 CPUtime=3601.34 cores=5,7
/proc/983795/stat : 983795 (LS-MabSP) D 983792 983795 983756 0 -1 4195840 365063 0 0 0 358697 1437 0 0 20 0 1 0 186357844 2297106432 367088 134679101440 4194304 15467897 140727439524288 140727439520544 14764652 0 16384 0 17410 1 0 0 17 5 0 0 0 0 0 17807032 17896208 54972416 140727439528991 140727439529093 140727439529093 140727439536109 0
/proc/983795/statm: 560817 367088 2849 2753 0 557470 0
Current children cumulated CPU time: 3601.34 s
Current children cumulated vsize: 2243268 KiB
Current children cumulated memory: 1468352 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.42
CPU time (s): 3601.37
CPU user time (s): 3586.97
CPU system time (s): 14.3922
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 2562696
Max. memory (cumulated for all children) (KiB): 1626976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.97
system time used= 14.3922
maximum resident set size= 1626976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365063
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= 66
involuntary context switches= 1174
# summary of solver processes directly reported to runsolver:
# pid: 983795
# total CPU time (s): 3601.37
# total CPU user time (s): 3586.97
# total CPU system time (s): 14.3922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.361 second user time and 33.2284 second system time
The end
Begin job on nodeC006 at 2024-07-19 00:33:23
IDJOB=4446336
IDBENCH=155560
IDSOLVER=3047
FILE ID=nodeC006/4446336-1721341991
RUNJOBID= nodeC006-1721342003-983769
SLURM_JOB_ID= 7542736
Free space on /tmp= 723760 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-55.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446336-1721341991/watcher-4446336-1721341991 -o /tmp/evaluation-result-4446336-1721341991/solver-4446336-1721341991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983769 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446336-1721341991.opb -t 3600 -s 466020673
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aafbab4e203601a49fdc88cf5a6cbbb7
RANDOM SEED=466020673
nodeC006.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 : 1197.247
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.94
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 : 1197.248
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.26
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.274
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.94
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.273
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.26
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 : 1197.248
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.94
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 : 3484.716
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.26
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.266
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.94
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.259
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123610284 kB
MemAvailable: 129822588 kB
Buffers: 512796 kB
Cached: 6460832 kB
SwapCached: 0 kB
Active: 989668 kB
Inactive: 6332208 kB
Active(anon): 1356 kB
Inactive(anon): 384628 kB
Active(file): 988312 kB
Inactive(file): 5947580 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48364 kB
Writeback: 0 kB
AnonPages: 349028 kB
Mapped: 105480 kB
Shmem: 37704 kB
KReclaimable: 232884 kB
Slab: 351636 kB
SReclaimable: 232884 kB
SUnreclaim: 118752 kB
KernelStack: 3744 kB
PageTables: 9004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 722184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723404 MiB
End job on nodeC006 at 2024-07-19 01:33:35