4.87/4.92 c Filename:instance-4442826-1721309926.opb, Cutoff_time:3600, memory_limit_gb:500000
4.87/4.92 c Use Presolve
4.87/4.92 c Parse finsih
4.87/4.92 c Start Presolve
4.87/4.92 c After Reduce Vars: 3900 Clauses: 124865 Top clause weight: 1 Hard Clauses: 124865
3599.94/3613.95 c Use LS-small
3599.94/3613.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: 63968 MiB (62803 MiB free)
memory of node 1: 64473 MiB (63344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442826-1721309926/watcher-4442826-1721309926 -o /tmp/evaluation-result-4442826-1721309926/solver-4442826-1721309926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721306329-953304 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442826-1721309926.opb -t 3600 -s 1249511309
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=955348, runsolver pid=955345
[startup+0.10078 s]*
/proc/loadavg: 4.08 4.11 4.08 5/249 955371
/proc/meminfo: memFree=129173864/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=27544 memory=15044 CPUtime=0.09 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 2317 0 0 0 9 0 0 0 20 0 1 0 183159605 28205056 3761 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 6886 3761 1073 2753 0 3539 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27544 KiB
Current children cumulated memory: 15044 KiB
[startup+0.205441 s]*
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129158904/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=33688 memory=17656 CPUtime=0.19 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 2927 0 0 0 19 0 0 0 20 0 1 0 183159605 34496512 4414 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 8422 4414 1073 2753 0 5075 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33688 KiB
Current children cumulated memory: 17656 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129156816/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=33688 memory=19704 CPUtime=0.3 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 2928 0 0 0 29 1 0 0 20 0 1 0 183159605 34496512 4926 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 8422 4926 1073 2753 0 5075 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33688 KiB
Current children cumulated memory: 19704 KiB
[startup+0.700242 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129082208/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=81652 memory=69056 CPUtime=0.69 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 11065 0 0 0 66 3 0 0 20 0 1 0 183159605 83611648 17264 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 20413 17264 1105 2753 0 17066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 81652 KiB
Current children cumulated memory: 69056 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129081504/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=81652 memory=69056 CPUtime=1.48 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 11066 0 0 0 145 3 0 0 20 0 1 0 183159605 83611648 17264 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 20413 17264 1105 2753 0 17066 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81652 KiB
Current children cumulated memory: 69056 KiB
[startup+3.10547 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=128657872/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=280280 memory=261444 CPUtime=3.08 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 59704 0 0 0 298 10 0 0 20 0 1 0 183159605 287006720 65361 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 70070 65361 2673 2753 0 66723 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 280280 KiB
Current children cumulated memory: 261444 KiB
[startup+6.30019 s]
/proc/loadavg: 4.07 4.11 4.08 5/255 955383
/proc/meminfo: memFree=128074804/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=556116 memory=535608 CPUtime=6.27 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 125989 0 0 0 606 21 0 0 20 0 1 0 183159605 569462784 133902 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 139029 133902 2833 2753 0 135682 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 556116 KiB
Current children cumulated memory: 535608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.08 5/255 955383
/proc/meminfo: memFree=127311912/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=556116 memory=536212 CPUtime=12.64 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 126249 0 0 0 1243 21 0 0 20 0 1 0 183159605 569462784 134053 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 139029 134053 2849 2753 0 135682 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 556116 KiB
Current children cumulated memory: 536212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.08 5/255 955386
/proc/meminfo: memFree=127268568/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=628108 memory=565740 CPUtime=25.39 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 132095 0 0 0 2516 23 0 0 20 0 1 0 183159605 643182592 141435 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 157027 141435 2849 2753 0 153680 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 628108 KiB
Current children cumulated memory: 565740 KiB
[startup+51.1058 s]
/proc/loadavg: 4.07 4.11 4.08 5/255 955389
/proc/meminfo: memFree=127118732/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=789736 memory=703712 CPUtime=50.89 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 166679 0 0 0 5061 28 0 0 20 0 1 0 183159605 808689664 175928 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 197434 175928 2849 2753 0 194087 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 789736 KiB
Current children cumulated memory: 703712 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/257 955401
/proc/meminfo: memFree=126792252/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=811240 memory=724544 CPUtime=101.84 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 171941 0 0 0 10154 30 0 0 20 0 1 0 183159605 830709760 181136 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 202810 181136 2849 2753 0 199463 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 811240 KiB
Current children cumulated memory: 724544 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/257 955413
/proc/meminfo: memFree=126641192/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=811240 memory=724692 CPUtime=161.53 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 171957 0 0 0 16123 30 0 0 20 0 1 0 183159605 830709760 181173 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 202810 181173 2849 2753 0 199463 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 811240 KiB
Current children cumulated memory: 724692 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/257 955423
/proc/meminfo: memFree=126602840/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=811240 memory=724692 CPUtime=221.21 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 171969 0 0 0 22091 30 0 0 20 0 1 0 183159605 830709760 181173 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 202810 181173 2849 2753 0 199463 0
Current children cumulated CPU time: 221.21 s
Current children cumulated vsize: 811240 KiB
Current children cumulated memory: 724692 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 955434
/proc/meminfo: memFree=126602576/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=811240 memory=724692 CPUtime=280.9 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 171980 0 0 0 28059 31 0 0 20 0 1 0 183159605 830709760 181173 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 202810 181173 2849 2753 0 199463 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 811240 KiB
Current children cumulated memory: 724692 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/256 955445
/proc/meminfo: memFree=126578020/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=831488 memory=745440 CPUtime=340.58 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 186787 0 0 0 34025 33 0 0 20 0 1 0 183159605 851443712 186360 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 207872 186360 2849 2753 0 204525 0
Current children cumulated CPU time: 340.58 s
Current children cumulated vsize: 831488 KiB
Current children cumulated memory: 745440 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 955457
/proc/meminfo: memFree=126563820/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=831488 memory=745440 CPUtime=400.26 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 186798 0 0 0 39992 34 0 0 20 0 1 0 183159605 851443712 186360 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 207872 186360 2849 2753 0 204525 0
Current children cumulated CPU time: 400.26 s
Current children cumulated vsize: 831488 KiB
Current children cumulated memory: 745440 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 955467
/proc/meminfo: memFree=126562376/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=831488 memory=745440 CPUtime=459.94 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 186810 0 0 0 45960 34 0 0 20 0 1 0 183159605 851443712 186360 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 207872 186360 2849 2753 0 204525 0
################
# More data... #
################
/proc/loadavg: 4.18 4.14 4.10 5/256 957161
/proc/meminfo: memFree=125968096/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3269.22 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225064 0 0 0 324470 2452 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3269.22 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 957172
/proc/meminfo: memFree=125966652/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3329.07 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225118 0 0 0 330358 2549 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3329.07 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/254 957183
/proc/meminfo: memFree=125966388/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3388.91 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225172 0 0 0 336249 2642 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3388.91 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/254 957193
/proc/meminfo: memFree=125963008/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3448.75 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225226 0 0 0 342134 2741 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3448.75 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/254 957205
/proc/meminfo: memFree=125962756/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3508.59 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225280 0 0 0 348019 2840 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3508.59 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/254 957215
/proc/meminfo: memFree=125962440/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3568.43 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225334 0 0 0 353904 2939 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3568.43 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3613.96 s]
# the end of solver process 955348 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.09 s, system=29.9225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.10 5/254 957216
/proc/meminfo: memFree=125962448/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3570.13 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225334 0 0 0 354071 2942 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.10 5/254 957218
/proc/meminfo: memFree=125962328/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3582.89 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225334 0 0 0 355326 2963 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3582.89 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.14 4.10 5/254 957218
/proc/meminfo: memFree=125962320/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3589.28 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225334 0 0 0 355955 2973 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3609.6 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 957312
/proc/meminfo: memFree=127670444/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3595.65 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225361 0 0 0 356582 2983 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3595.65 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3611.2 s]
/proc/loadavg: 4.08 4.13 4.09 5/254 957358
/proc/meminfo: memFree=127776060/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3597.25 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225361 0 0 0 356739 2986 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3597.25 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3612.8 s]
/proc/loadavg: 4.08 4.13 4.09 5/254 957358
/proc/meminfo: memFree=127720200/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3598.85 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225361 0 0 0 356895 2990 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3598.85 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3613.6 s]
/proc/loadavg: 4.08 4.13 4.09 5/254 957404
/proc/meminfo: memFree=127861740/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3599.65 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225361 0 0 0 356974 2991 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3613.8 s]
/proc/loadavg: 4.08 4.13 4.09 5/254 957404
/proc/meminfo: memFree=127861740/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3599.84 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225361 0 0 0 356993 2991 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
[startup+3613.9 s]
/proc/loadavg: 4.08 4.13 4.09 5/254 957404
/proc/meminfo: memFree=127861740/131524600 swapFree=131071996/131071996
[pid=955348] ppid=955345 vsize=965840 memory=911168 CPUtime=3599.94 cores=0,2
/proc/955348/stat : 955348 (LS-MabSP) R 955345 955348 953294 0 -1 4194304 225361 0 0 0 357003 2991 0 0 20 0 1 0 183159605 989020160 227792 134679101440 4194304 15467897 140732171861456 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53362688 140732171863070 140732171863173 140732171863173 140732171870189 0
/proc/955348/statm: 241460 227792 2849 2753 0 238113 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 965840 KiB
Current children cumulated memory: 911168 KiB
Child status: 0
Real time (s): 3613.96
CPU time (s): 3600.02
CPU user time (s): 3570.09
CPU system time (s): 29.9225
CPU usage (%): 99.6141
Max. virtual memory (cumulated for all children) (KiB): 965840
Max. memory (cumulated for all children) (KiB): 911168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.09
system time used= 29.9225
maximum resident set size= 911168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225378
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= 50
involuntary context switches= 24703
# summary of solver processes directly reported to runsolver:
# pid: 955348
# total CPU time (s): 3600.02
# total CPU user time (s): 3570.09
# total CPU system time (s): 29.9225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15108 second user time and 17.011 second system time
The end
Begin job on nodeC028 at 2024-07-18 15:38:58
IDJOB=4442826
IDBENCH=147852
IDSOLVER=3047
FILE ID=nodeC028/4442826-1721309926
RUNJOBID= nodeC028-1721306329-953304
SLURM_JOB_ID= 7542643
Free space on /tmp= 890000 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-65-60.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-4442826-1721309926/watcher-4442826-1721309926 -o /tmp/evaluation-result-4442826-1721309926/solver-4442826-1721309926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721306329-953304 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442826-1721309926.opb -t 3600 -s 1249511309
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13dda9504d679e5c6e2bc0e517e2ba2
RANDOM SEED=1249511309
nodeC028.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 : 3662.180
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.56
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 : 3694.149
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3659.879
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.56
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 : 3677.638
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3661.935
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.56
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 : 3649.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3604.326
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.56
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 : 3645.171
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129175708 kB
MemAvailable: 129586060 kB
Buffers: 478712 kB
Cached: 773772 kB
SwapCached: 0 kB
Active: 1007052 kB
Inactive: 747016 kB
Active(anon): 1536 kB
Inactive(anon): 537748 kB
Active(file): 1005516 kB
Inactive(file): 209268 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58692 kB
Writeback: 4 kB
AnonPages: 498864 kB
Mapped: 122244 kB
Shmem: 37720 kB
KReclaimable: 70784 kB
Slab: 177668 kB
SReclaimable: 70784 kB
SUnreclaim: 106884 kB
KernelStack: 4064 kB
PageTables: 10112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 844656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 417792 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC028 at 2024-07-18 16:39:12