6.86/6.91 c Filename:instance-4427828-1721019434.opb, Cutoff_time:3600, memory_limit_gb:500000
6.86/6.91 c Use Presolve
6.86/6.91 c Parse finsih
6.86/6.91 c Start Presolve
6.86/6.91 c After Reduce Vars: 8883 Clauses: 17468 Top clause weight: 512 Hard Clauses: 17459
3599.93/3608.27 c Use LS-small
3599.93/3608.27 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: 63931 MiB (61800 MiB free)
memory of node 1: 64510 MiB (62358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427828-1721019434/watcher-4427828-1721019434 -o /tmp/evaluation-result-4427828-1721019434/solver-4427828-1721019434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721015837-789561 --watchdog 3760 ./LS-MabSP -f HOME/instance-4427828-1721019434.opb -t 3600 -s 2092294763
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=791582, runsolver pid=791579
[startup+0.100095 s]*
/proc/loadavg: 4.12 4.13 4.12 5/254 791583
/proc/meminfo: memFree=127132412/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=24572 memory=10792 CPUtime=0.09 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 1714 0 0 0 9 0 0 0 20 0 1 0 154102536 25161728 2698 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 6143 2698 1073 2753 0 2796 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24572 KiB
Current children cumulated memory: 10792 KiB
[startup+0.205302 s]*
/proc/loadavg: 4.12 4.13 4.12 5/254 791583
/proc/meminfo: memFree=127127168/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=28800 memory=12860 CPUtime=0.19 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 2239 0 0 0 19 0 0 0 20 0 1 0 154102536 29491200 3215 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 7200 3215 1073 2753 0 3853 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28800 KiB
Current children cumulated memory: 12860 KiB
[startup+0.305021 s]*
/proc/loadavg: 4.12 4.13 4.12 5/254 791583
/proc/meminfo: memFree=127125432/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=28800 memory=14908 CPUtime=0.29 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 2290 0 0 0 29 0 0 0 20 0 1 0 154102536 29491200 3727 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 7200 3727 1073 2753 0 3853 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28800 KiB
Current children cumulated memory: 14908 KiB
[startup+0.700124 s]
/proc/loadavg: 4.12 4.13 4.12 5/254 791583
/proc/meminfo: memFree=127116044/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=37388 memory=23496 CPUtime=0.69 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 2907 0 0 0 68 1 0 0 20 0 1 0 154102536 38285312 5874 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 9347 5874 1073 2753 0 6000 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37388 KiB
Current children cumulated memory: 23496 KiB
[startup+1.5002 s]
/proc/loadavg: 4.12 4.13 4.12 5/256 791661
/proc/meminfo: memFree=127329684/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=121696 memory=95476 CPUtime=1.49 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 7656 0 0 0 145 4 0 0 20 0 1 0 154102536 124616704 23869 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 30424 23869 1105 2753 0 27077 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121696 KiB
Current children cumulated memory: 95476 KiB
[startup+3.10544 s]
/proc/loadavg: 4.11 4.13 4.12 5/256 791661
/proc/meminfo: memFree=126931576/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=235684 memory=213080 CPUtime=3.09 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 35609 0 0 0 302 7 0 0 20 0 1 0 154102536 241340416 53270 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 58921 53270 2641 2753 0 55574 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 235684 KiB
Current children cumulated memory: 213080 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.13 4.12 5/256 791661
/proc/meminfo: memFree=126567084/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=414600 memory=359712 CPUtime=6.27 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 64017 0 0 0 615 12 0 0 20 0 1 0 154102536 424550400 89928 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 103650 89928 2833 2753 0 100303 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 414600 KiB
Current children cumulated memory: 359712 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.12 5/256 791662
/proc/meminfo: memFree=126313448/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=521696 memory=466516 CPUtime=12.65 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 90750 0 0 0 1249 16 0 0 20 0 1 0 154102536 534216704 116629 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 130424 116629 2849 2753 0 127077 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 521696 KiB
Current children cumulated memory: 466516 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.11 5/256 791664
/proc/meminfo: memFree=126246280/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=555836 memory=502596 CPUtime=25.41 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 99827 0 0 0 2523 18 0 0 20 0 1 0 154102536 569176064 125649 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 138959 125649 2849 2753 0 135612 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 555836 KiB
Current children cumulated memory: 502596 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.12 4.11 5/256 791668
/proc/meminfo: memFree=126198996/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=557860 memory=504604 CPUtime=50.93 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 100362 0 0 0 5075 18 0 0 20 0 1 0 154102536 571248640 126151 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 139465 126151 2849 2753 0 136118 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 557860 KiB
Current children cumulated memory: 504604 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/258 791848
/proc/meminfo: memFree=126142936/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=567596 memory=512892 CPUtime=101.97 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 102458 0 0 0 10178 19 0 0 20 0 1 0 154102536 581218304 128223 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 141899 128223 2849 2753 0 138552 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 567596 KiB
Current children cumulated memory: 512892 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/258 791859
/proc/meminfo: memFree=126072236/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=567596 memory=512892 CPUtime=161.77 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 102498 0 0 0 16158 19 0 0 20 0 1 0 154102536 581218304 128223 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 141899 128223 2849 2753 0 138552 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 567596 KiB
Current children cumulated memory: 512892 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/259 791884
/proc/meminfo: memFree=126060524/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=557720 memory=504736 CPUtime=221.59 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 112650 0 0 0 22138 21 0 0 20 0 1 0 154102536 571105280 126184 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 139430 126184 2849 2753 0 136083 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 557720 KiB
Current children cumulated memory: 504736 KiB
[startup+282.3 s]
/proc/loadavg: 4.42 4.23 4.15 5/259 791895
/proc/meminfo: memFree=125938000/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=629124 memory=576732 CPUtime=281.41 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 147894 0 0 0 28114 27 0 0 20 0 1 0 154102536 644222976 144183 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 157281 144183 2849 2753 0 153934 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 629124 KiB
Current children cumulated memory: 576732 KiB
[startup+342.3 s]
/proc/loadavg: 4.69 4.34 4.19 5/259 791905
/proc/meminfo: memFree=125838272/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=659204 memory=607576 CPUtime=341.22 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 171489 0 0 0 34091 31 0 0 20 0 1 0 154102536 675024896 151894 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 164801 151894 2849 2753 0 161454 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 659204 KiB
Current children cumulated memory: 607576 KiB
[startup+402.3 s]
/proc/loadavg: 4.73 4.42 4.23 5/257 791917
/proc/meminfo: memFree=125756736/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=706396 memory=653452 CPUtime=401.07 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 195274 0 0 0 40072 35 0 0 20 0 1 0 154102536 723349504 163363 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 176599 163363 2849 2753 0 173252 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 706396 KiB
Current children cumulated memory: 653452 KiB
[startup+462.3 s]
/proc/loadavg: 4.44 4.40 4.23 5/257 791929
/proc/meminfo: memFree=125684816/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=710872 memory=658824 CPUtime=460.93 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 196618 0 0 0 46057 36 0 0 20 0 1 0 154102536 727932928 164706 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 177718 164706 2849 2753 0 174371 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.10 5/255 793039
/proc/meminfo: memFree=124630680/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3154.91 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355255 0 0 0 315236 255 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3154.91 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 793055
/proc/meminfo: memFree=124630036/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3214.79 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355277 0 0 0 321215 264 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 793065
/proc/meminfo: memFree=124629424/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3274.67 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355321 0 0 0 327195 272 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 793076
/proc/meminfo: memFree=124628808/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3334.55 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355343 0 0 0 333176 279 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3334.55 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/258 793087
/proc/meminfo: memFree=124628256/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3394.44 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355387 0 0 0 339157 287 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3394.44 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 793099
/proc/meminfo: memFree=124627640/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3454.32 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355409 0 0 0 345134 298 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3454.32 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 793491
/proc/meminfo: memFree=124626812/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3514.2 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355453 0 0 0 351114 306 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3514.2 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 793501
/proc/meminfo: memFree=124626212/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3574.08 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355475 0 0 0 357094 314 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3574.08 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3608.27 s]
# the end of solver process 791582 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.83 s, system=3.18212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.09 5/256 793501
/proc/meminfo: memFree=124626236/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3575.78 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355475 0 0 0 357264 314 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3575.78 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 793503
/proc/meminfo: memFree=124626180/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3588.55 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355497 0 0 0 358539 316 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3588.55 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 793505
/proc/meminfo: memFree=124626152/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3594.94 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355497 0 0 0 359177 317 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3594.94 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 793506
/proc/meminfo: memFree=124626080/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3598.13 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355497 0 0 0 359496 317 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3598.13 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3607.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/250 793542
/proc/meminfo: memFree=125614904/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3598.93 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355497 0 0 0 359576 317 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3598.93 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3608 s]*
/proc/loadavg: 4.10 4.12 4.09 5/256 793554
/proc/meminfo: memFree=125608228/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3599.73 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355497 0 0 0 359656 317 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3599.73 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
[startup+3608.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 793554
/proc/meminfo: memFree=125608228/131524600 swapFree=130793752/131071996
[pid=791582] ppid=791579 vsize=767480 memory=748456 CPUtime=3599.93 cores=5,7
/proc/791582/stat : 791582 (LS-MabSP) R 791579 791582 789548 0 -1 4194304 355497 0 0 0 359676 317 0 0 20 0 1 0 154102536 785899520 187114 134679101440 4194304 15467897 140727476758144 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32104448 140727476761631 140727476761734 140727476761734 140727476768749 0
/proc/791582/statm: 191870 187114 2849 2753 0 188523 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 767480 KiB
Current children cumulated memory: 748456 KiB
Child status: 0
Real time (s): 3608.27
CPU time (s): 3600.01
CPU user time (s): 3596.83
CPU system time (s): 3.18212
CPU usage (%): 99.7711
Max. virtual memory (cumulated for all children) (KiB): 810992
Max. memory (cumulated for all children) (KiB): 756208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.83
system time used= 3.18212
maximum resident set size= 756208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355510
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= 4
involuntary context switches= 1233
# summary of solver processes directly reported to runsolver:
# pid: 791582
# total CPU time (s): 3600.01
# total CPU user time (s): 3596.83
# total CPU system time (s): 3.18212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82471 second user time and 16.7884 second system time
The end
Begin job on nodeC014 at 2024-07-15 06:57:26
IDJOB=4427828
IDBENCH=147625
IDSOLVER=3047
FILE ID=nodeC014/4427828-1721019434
RUNJOBID= nodeC014-1721015837-789561
SLURM_JOB_ID= 7505371
Free space on /tmp= 890012 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4427828-1721019434/watcher-4427828-1721019434 -o /tmp/evaluation-result-4427828-1721019434/solver-4427828-1721019434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721015837-789561 --watchdog 3760 ./LS-MabSP -f HOME/instance-4427828-1721019434.opb -t 3600 -s 2092294763
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=2092294763
nodeC014.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 : 3668.333
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.32
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 : 3676.914
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
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.32
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.102
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.96
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 : 3668.360
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.32
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 : 3669.399
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.96
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.728
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.32
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 : 3661.207
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127139492 kB
MemAvailable: 129662240 kB
Buffers: 284272 kB
Cached: 3044204 kB
SwapCached: 12320 kB
Active: 965660 kB
Inactive: 2867456 kB
Active(anon): 9496 kB
Inactive(anon): 511204 kB
Active(file): 956164 kB
Inactive(file): 2356252 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130793752 kB
Dirty: 38168 kB
Writeback: 0 kB
AnonPages: 495644 kB
Mapped: 67060 kB
Shmem: 16376 kB
KReclaimable: 99956 kB
Slab: 190368 kB
SReclaimable: 99956 kB
SUnreclaim: 90412 kB
KernelStack: 4060 kB
PageTables: 10828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1239164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 296960 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: 172756 kB
DirectMap2M: 7989248 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 07:57:35