1.79/1.81 c Filename:instance-4427826-1721019435.opb, Cutoff_time:3600, memory_limit_gb:500000
1.79/1.81 c Use Presolve
1.79/1.81 c Parse finsih
1.79/1.81 c Start Presolve
1.79/1.81 c After Reduce Vars: 3297 Clauses: 6391 Top clause weight: 256 Hard Clauses: 6383
3599.95/3612.24 c Use LS-small
3599.95/3612.24 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 (62052 MiB free)
memory of node 1: 64510 MiB (62313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427826-1721019435/watcher-4427826-1721019435 -o /tmp/evaluation-result-4427826-1721019435/solver-4427826-1721019435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721015837-789558 --watchdog 3760 ./LS-MabSP -f HOME/instance-4427826-1721019435.opb -t 3600 -s 2092294763
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
solver pid=791660, runsolver pid=791657
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.12 4.13 4.12 5/256 791661
/proc/meminfo: memFree=127301200/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=23716 memory=10540 CPUtime=0.1 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 1655 0 0 0 10 0 0 0 20 0 1 0 154102636 24285184 2635 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 5929 2635 1073 2753 0 2582 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23716 KiB
Current children cumulated memory: 10540 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.12 4.13 4.12 5/256 791661
/proc/meminfo: memFree=127296288/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=27944 memory=12632 CPUtime=0.2 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 2189 0 0 0 20 0 0 0 20 0 1 0 154102636 28614656 3158 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 6986 3158 1073 2753 0 3639 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27944 KiB
Current children cumulated memory: 12632 KiB
[startup+0.305573 s]*
/proc/loadavg: 4.12 4.13 4.12 5/256 791661
/proc/meminfo: memFree=127271168/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=48900 memory=35512 CPUtime=0.29 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 6393 0 0 0 29 0 0 0 20 0 1 0 154102636 50073600 8878 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 12225 8878 1105 2753 0 8878 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48900 KiB
Current children cumulated memory: 35512 KiB
[startup+0.700224 s]
/proc/loadavg: 4.12 4.13 4.12 5/256 791661
/proc/meminfo: memFree=127260680/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=48900 memory=35512 CPUtime=0.68 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 6397 0 0 0 68 0 0 0 20 0 1 0 154102636 50073600 8878 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 12225 8878 1105 2753 0 8878 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48900 KiB
Current children cumulated memory: 35512 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.13 4.12 5/256 791661
/proc/meminfo: memFree=127156368/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=162504 memory=140980 CPUtime=1.49 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 30381 0 0 0 144 5 0 0 20 0 1 0 154102636 166404096 35245 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 40626 35245 2817 2753 0 37279 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162504 KiB
Current children cumulated memory: 140980 KiB
[startup+3.10546 s]
/proc/loadavg: 4.11 4.13 4.12 5/256 791661
/proc/meminfo: memFree=126613848/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=208516 memory=186248 CPUtime=3.08 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 41723 0 0 0 302 6 0 0 20 0 1 0 154102636 213520384 46562 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 52129 46562 2833 2753 0 48782 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 208516 KiB
Current children cumulated memory: 186248 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.13 4.12 5/256 791661
/proc/meminfo: memFree=126417308/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=233200 memory=211808 CPUtime=6.26 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 48105 0 0 0 619 7 0 0 20 0 1 0 154102636 238796800 52952 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 58300 52952 2833 2753 0 54953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233200 KiB
Current children cumulated memory: 211808 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.11 5/256 791662
/proc/meminfo: memFree=126307992/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=245268 memory=222852 CPUtime=12.64 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 50892 0 0 0 1256 8 0 0 20 0 1 0 154102636 251154432 55713 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 61317 55713 2833 2753 0 57970 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 245268 KiB
Current children cumulated memory: 222852 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.11 5/256 791664
/proc/meminfo: memFree=126240756/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=266228 memory=244992 CPUtime=25.4 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 56462 0 0 0 2531 9 0 0 20 0 1 0 154102636 272617472 61248 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 66557 61248 2849 2753 0 63210 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 266228 KiB
Current children cumulated memory: 244992 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.11 5/256 791668
/proc/meminfo: memFree=126198528/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=276268 memory=254484 CPUtime=50.9 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 58818 0 0 0 5081 9 0 0 20 0 1 0 154102636 282898432 63621 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 69067 63621 2849 2753 0 65720 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 276268 KiB
Current children cumulated memory: 254484 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/258 791848
/proc/meminfo: memFree=126142432/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=291524 memory=271640 CPUtime=101.9 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 65224 0 0 0 10179 11 0 0 20 0 1 0 154102636 298520576 67910 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 72881 67910 2849 2753 0 69534 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 291524 KiB
Current children cumulated memory: 271640 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 791859
/proc/meminfo: memFree=126072252/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=295744 memory=275260 CPUtime=161.66 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 65645 0 0 0 16155 11 0 0 20 0 1 0 154102636 302841856 68815 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 73936 68815 2849 2753 0 70589 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 295744 KiB
Current children cumulated memory: 275260 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/259 791884
/proc/meminfo: memFree=126060400/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=296584 memory=276104 CPUtime=221.42 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 65846 0 0 0 22131 11 0 0 20 0 1 0 154102636 303702016 69026 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 74146 69026 2849 2753 0 70799 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 296584 KiB
Current children cumulated memory: 276104 KiB
[startup+282.3 s]
/proc/loadavg: 4.39 4.23 4.15 5/259 791895
/proc/meminfo: memFree=125937012/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=306524 memory=286592 CPUtime=281.19 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 68505 0 0 0 28107 12 0 0 20 0 1 0 154102636 313880576 71648 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 76631 71648 2849 2753 0 73284 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 306524 KiB
Current children cumulated memory: 286592 KiB
[startup+342.3 s]
/proc/loadavg: 4.71 4.35 4.20 5/259 791905
/proc/meminfo: memFree=125838184/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=338092 memory=318060 CPUtime=340.95 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 78104 0 0 0 34081 14 0 0 20 0 1 0 154102636 346206208 79515 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 84523 79515 2849 2753 0 81176 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 338092 KiB
Current children cumulated memory: 318060 KiB
[startup+402.3 s]
/proc/loadavg: 4.67 4.41 4.23 5/257 791918
/proc/meminfo: memFree=125756008/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=345176 memory=323708 CPUtime=400.71 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 78693 0 0 0 40057 14 0 0 20 0 1 0 154102636 353460224 80927 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 86294 80927 2849 2753 0 82947 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 345176 KiB
Current children cumulated memory: 323708 KiB
[startup+462.3 s]
/proc/loadavg: 4.40 4.39 4.23 5/257 791929
/proc/meminfo: memFree=125684784/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=364100 memory=343772 CPUtime=460.46 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 87807 0 0 0 46031 15 0 0 20 0 1 0 154102636 372838400 85943 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 91025 85943 2849 2753 0 87678 0
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.09 5/258 793055
/proc/meminfo: memFree=124630108/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3211.14 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183255 0 0 0 320828 286 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3211.14 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 793065
/proc/meminfo: memFree=124629392/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3270.98 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183266 0 0 0 326800 298 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 793076
/proc/meminfo: memFree=124628816/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3330.8 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183288 0 0 0 332771 309 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3330.8 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/258 793088
/proc/meminfo: memFree=124628200/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3390.64 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183299 0 0 0 338743 321 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 793099
/proc/meminfo: memFree=124627600/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3450.47 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183321 0 0 0 344716 331 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3450.47 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 793491
/proc/meminfo: memFree=124626788/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3510.31 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183332 0 0 0 350690 341 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3510.31 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 793501
/proc/meminfo: memFree=124626236/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3570.14 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 356661 353 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3570.14 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3612.25 s]
# the end of solver process 791660 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.42 s, system=3.58792 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=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3571.84 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 356831 353 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 793503
/proc/meminfo: memFree=124626140/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3584.59 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 358104 355 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3584.59 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 793506
/proc/meminfo: memFree=124626096/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3590.98 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 358742 356 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3590.98 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/250 793542
/proc/meminfo: memFree=125614904/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3594.17 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 359060 357 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3594.17 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3609.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 793646
/proc/meminfo: memFree=126950556/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3597.36 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 359378 358 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3597.36 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3611.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 793646
/proc/meminfo: memFree=126950604/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3598.96 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 359538 358 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3612 s]*
/proc/loadavg: 4.09 4.12 4.09 5/256 793646
/proc/meminfo: memFree=126950584/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3599.76 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 359618 358 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
[startup+3612.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 793646
/proc/meminfo: memFree=126950584/131524600 swapFree=130793752/131071996
[pid=791660] ppid=791657 vsize=557632 memory=551448 CPUtime=3599.95 cores=0,2
/proc/791660/stat : 791660 (LS-MabSP) R 791657 791660 789548 0 -1 4194304 183354 0 0 0 359637 358 0 0 20 0 1 0 154102636 571015168 137862 134679101440 4194304 15467897 140732314499712 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31621120 140732314506271 140732314506374 140732314506374 140732314513389 0
/proc/791660/statm: 139408 137862 2849 2753 0 136061 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 557632 KiB
Current children cumulated memory: 551448 KiB
Child status: 0
Real time (s): 3612.25
CPU time (s): 3600.01
CPU user time (s): 3596.42
CPU system time (s): 3.58792
CPU usage (%): 99.6612
Max. virtual memory (cumulated for all children) (KiB): 650304
Max. memory (cumulated for all children) (KiB): 636268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.42
system time used= 3.58792
maximum resident set size= 636268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183360
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= 53
involuntary context switches= 25202
# summary of solver processes directly reported to runsolver:
# pid: 791660
# total CPU time (s): 3600.01
# total CPU user time (s): 3596.42
# total CPU system time (s): 3.58792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15758 second user time and 14.2255 second system time
The end
Begin job on nodeC014 at 2024-07-15 06:57:27
IDJOB=4427826
IDBENCH=147627
IDSOLVER=3047
FILE ID=nodeC014/4427826-1721019435
RUNJOBID= nodeC014-1721015837-789558
SLURM_JOB_ID= 7505371
Free space on /tmp= 890024 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.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-4427826-1721019435/watcher-4427826-1721019435 -o /tmp/evaluation-result-4427826-1721019435/solver-4427826-1721019435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721015837-789558 --watchdog 3760 ./LS-MabSP -f HOME/instance-4427826-1721019435.opb -t 3600 -s 2092294763
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
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 : 3663.463
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.812
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 : 3652.973
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 : 3599.689
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 : 3666.842
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 : 3676.804
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.847
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 : 3599.988
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: 127351144 kB
MemAvailable: 129861960 kB
Buffers: 284304 kB
Cached: 3032852 kB
SwapCached: 12320 kB
Active: 949364 kB
Inactive: 2672956 kB
Active(anon): 9496 kB
Inactive(anon): 312052 kB
Active(file): 939868 kB
Inactive(file): 2360904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130793752 kB
Dirty: 75888 kB
Writeback: 0 kB
AnonPages: 296804 kB
Mapped: 63832 kB
Shmem: 16376 kB
KReclaimable: 99384 kB
Slab: 189808 kB
SReclaimable: 99384 kB
SUnreclaim: 90424 kB
KernelStack: 4108 kB
PageTables: 10236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 968976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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= 890020 MiB
End job on nodeC014 at 2024-07-15 07:57:40