1.99/2.04 c Filename:instance-4442856-1721309926.opb, Cutoff_time:3600, memory_limit_gb:500000
1.99/2.04 c Use Presolve
1.99/2.04 c Parse finsih
1.99/2.04 c Start Presolve
1.99/2.04 c After Reduce Vars: 2550 Clauses: 63801 Top clause weight: 1 Hard Clauses: 63801
3599.95/3609.75 c Use LS-small
3599.95/3609.75 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 (62791 MiB free)
memory of node 1: 64473 MiB (63353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442856-1721309926/watcher-4442856-1721309926 -o /tmp/evaluation-result-4442856-1721309926/solver-4442856-1721309926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721306329-953307 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442856-1721309926.opb -t 3600 -s 1249511309
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
solver pid=955380, runsolver pid=955377
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129160384/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=26600 memory=12888 CPUtime=0.1 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 2241 0 0 0 10 0 0 0 20 0 1 0 183159619 27238400 3222 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 6650 3222 1073 2753 0 3303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26600 KiB
Current children cumulated memory: 12888 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129149088/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=36240 memory=23112 CPUtime=0.2 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 4324 0 0 0 20 0 0 0 20 0 1 0 183159619 37109760 5778 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 9060 5778 1073 2753 0 5713 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 23112 KiB
[startup+0.30525 s]*
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129095032/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=51256 memory=38816 CPUtime=0.3 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 8985 0 0 0 29 1 0 0 20 0 1 0 183159619 52486144 9704 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 12814 9704 1105 2753 0 9467 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51256 KiB
Current children cumulated memory: 38816 KiB
[startup+0.700155 s]
/proc/loadavg: 4.08 4.11 4.08 6/255 955381
/proc/meminfo: memFree=129081872/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=51256 memory=38816 CPUtime=0.69 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 8986 0 0 0 68 1 0 0 20 0 1 0 183159619 52486144 9704 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 12814 9704 1105 2753 0 9467 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51256 KiB
Current children cumulated memory: 38816 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=129081504/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=180312 memory=165964 CPUtime=1.49 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 40801 0 0 0 143 6 0 0 20 0 1 0 183159619 184639488 41491 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 45078 41491 2673 2753 0 41731 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 180312 KiB
Current children cumulated memory: 165964 KiB
[startup+3.10547 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 955381
/proc/meminfo: memFree=128634884/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=309296 memory=294060 CPUtime=3.09 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 73333 0 0 0 299 10 0 0 20 0 1 0 183159619 316719104 73515 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 77324 73515 2849 2753 0 73977 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 309296 KiB
Current children cumulated memory: 294060 KiB
[startup+6.30016 s]
/proc/loadavg: 4.07 4.11 4.08 5/255 955383
/proc/meminfo: memFree=128001464/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=327060 memory=304088 CPUtime=6.27 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 75862 0 0 0 617 10 0 0 20 0 1 0 183159619 334909440 76022 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 81765 76022 2849 2753 0 78418 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 327060 KiB
Current children cumulated memory: 304088 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=955380] ppid=955377 vsize=428548 memory=380800 CPUtime=12.65 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 95038 0 0 0 1252 13 0 0 20 0 1 0 183159619 438833152 95200 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 107137 95200 2849 2753 0 103790 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 428548 KiB
Current children cumulated memory: 380800 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.08 5/255 955386
/proc/meminfo: memFree=127265880/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=444364 memory=397160 CPUtime=25.42 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 99154 0 0 0 2528 14 0 0 20 0 1 0 183159619 455028736 99290 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 111091 99290 2849 2753 0 107744 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 444364 KiB
Current children cumulated memory: 397160 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.11 4.08 5/255 955389
/proc/meminfo: memFree=127118732/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=449504 memory=397416 CPUtime=50.95 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 99173 0 0 0 5080 15 0 0 20 0 1 0 183159619 460292096 99354 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 112376 99354 2849 2753 0 109029 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 449504 KiB
Current children cumulated memory: 397416 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=955380] ppid=955377 vsize=449504 memory=397416 CPUtime=101.98 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 99182 0 0 0 10183 15 0 0 20 0 1 0 183159619 460292096 99354 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 112376 99354 2849 2753 0 109029 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 449504 KiB
Current children cumulated memory: 397416 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=955380] ppid=955377 vsize=483304 memory=431060 CPUtime=161.77 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 111695 0 0 0 16159 18 0 0 20 0 1 0 183159619 494903296 107765 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 120826 107765 2849 2753 0 117479 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 483304 KiB
Current children cumulated memory: 431060 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=955380] ppid=955377 vsize=521800 memory=467472 CPUtime=221.56 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 120845 0 0 0 22136 20 0 0 20 0 1 0 183159619 534323200 116868 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 130450 116868 2849 2753 0 127103 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 521800 KiB
Current children cumulated memory: 467472 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 955434
/proc/meminfo: memFree=126602584/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=521800 memory=467472 CPUtime=281.35 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 120850 0 0 0 28114 21 0 0 20 0 1 0 183159619 534323200 116868 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 130450 116868 2849 2753 0 127103 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 521800 KiB
Current children cumulated memory: 467472 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=955380] ppid=955377 vsize=521800 memory=467472 CPUtime=341.14 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 120854 0 0 0 34093 21 0 0 20 0 1 0 183159619 534323200 116868 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 130450 116868 2849 2753 0 127103 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 521800 KiB
Current children cumulated memory: 467472 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=955380] ppid=955377 vsize=534100 memory=481244 CPUtime=400.92 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 124819 0 0 0 40070 22 0 0 20 0 1 0 183159619 546918400 120311 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 133525 120311 2849 2753 0 130178 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 534100 KiB
Current children cumulated memory: 481244 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=955380] ppid=955377 vsize=534100 memory=481244 CPUtime=460.71 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 124822 0 0 0 46049 22 0 0 20 0 1 0 183159619 546918400 120311 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 133525 120311 2849 2753 0 130178 0
################
# More data... #
################
/proc/loadavg: 4.18 4.14 4.10 5/256 957161
/proc/meminfo: memFree=125968096/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3273.17 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167121 0 0 0 325099 2218 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3333.05 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167153 0 0 0 331001 2304 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3392.95 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167169 0 0 0 336904 2391 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3452.83 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167201 0 0 0 342809 2474 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3512.72 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167217 0 0 0 348704 2568 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3572.6 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 354601 2659 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3609.76 s]
# the end of solver process 955380 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.01 s, system=27.0001 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3574.31 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 354769 2662 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3574.31 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3587.07 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 356026 2681 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 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=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3593.46 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 356655 2691 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3593.46 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 957220
/proc/meminfo: memFree=125962272/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3596.65 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 356970 2695 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3596.65 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3608 s]*
/proc/loadavg: 4.08 4.13 4.10 5/248 957302
/proc/meminfo: memFree=127745072/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3598.25 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 357128 2697 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3598.25 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3608.8 s]
/proc/loadavg: 4.08 4.13 4.10 5/248 957302
/proc/meminfo: memFree=127745072/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3599.05 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 357207 2698 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3599.05 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3609.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 957312
/proc/meminfo: memFree=127668492/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3599.45 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 357246 2699 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3599.45 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3609.6 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 957312
/proc/meminfo: memFree=127668492/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3599.85 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 357286 2699 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
[startup+3609.7 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 957312
/proc/meminfo: memFree=127668492/131524600 swapFree=131071996/131071996
[pid=955380] ppid=955377 vsize=699872 memory=674100 CPUtime=3599.95 cores=5,7
/proc/955380/stat : 955380 (LS-MabSP) R 955377 955380 953294 0 -1 4194304 167249 0 0 0 357296 2699 0 0 20 0 1 0 183159619 716668928 168525 134679101440 4194304 15467897 140722359086448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55554048 140722359092254 140722359092357 140722359092357 140722359099373 0
/proc/955380/statm: 174968 168525 2849 2753 0 171621 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 699872 KiB
Current children cumulated memory: 674100 KiB
Child status: 0
Real time (s): 3609.76
CPU time (s): 3600.01
CPU user time (s): 3573.01
CPU system time (s): 27.0001
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 699872
Max. memory (cumulated for all children) (KiB): 674100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.01
system time used= 27.0001
maximum resident set size= 674100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167258
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= 32
involuntary context switches= 2874
# summary of solver processes directly reported to runsolver:
# pid: 955380
# total CPU time (s): 3600.01
# total CPU user time (s): 3573.01
# total CPU system time (s): 27.0001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82594 second user time and 16.4701 second system time
The end
Begin job on nodeC028 at 2024-07-18 15:38:58
IDJOB=4442856
IDBENCH=147855
IDSOLVER=3047
FILE ID=nodeC028/4442856-1721309926
RUNJOBID= nodeC028-1721306329-953307
SLURM_JOB_ID= 7542643
Free space on /tmp= 890008 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.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-4442856-1721309926/watcher-4442856-1721309926 -o /tmp/evaluation-result-4442856-1721309926/solver-4442856-1721309926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721306329-953307 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442856-1721309926.opb -t 3600 -s 1249511309
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 160cae61f04d8ccee666d7a366e84df3
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 : 3655.732
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 : 3669.635
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.505
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 : 3600.389
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.992
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 : 3663.582
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 : 3599.817
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 : 3668.980
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: 129172908 kB
MemAvailable: 129574500 kB
Buffers: 478712 kB
Cached: 765352 kB
SwapCached: 0 kB
Active: 986456 kB
Inactive: 770640 kB
Active(anon): 1560 kB
Inactive(anon): 549512 kB
Active(file): 984896 kB
Inactive(file): 221128 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 76460 kB
Writeback: 0 kB
AnonPages: 510720 kB
Mapped: 126532 kB
Shmem: 37720 kB
KReclaimable: 70784 kB
Slab: 177656 kB
SReclaimable: 70784 kB
SUnreclaim: 106872 kB
KernelStack: 4108 kB
PageTables: 10188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 911572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 421888 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:08