0.00/0.01 c #vars 1201 #constraints 1202 1.00083 1
0.00/0.03 c 1202 constraints
0.00/0.03 c Finish cloning data from SAT to LS
0.00/0.03 c restart_num_ls -100000 0
27.03/27.14 c Use LS-small
27.03/27.14 c update_LS_target_phase-runLS
34.30/34.49 c restart_num_ls 0 510
34.30/34.49 c LS 90 74
79.61/79.84 c Use LS-small
79.61/79.84 c restart_num_ls 510 1788
79.61/79.84 c LS 80 49
126.99/127.38 c Use LS-small
126.99/127.38 c restart_num_ls 1788 3068
126.99/127.38 c LS 70 91
172.89/173.35 c Use LS-small
172.89/173.35 c restart_num_ls 3068 4093
172.89/173.35 c LS 60 2
235.74/236.32 c Use LS-small
235.74/236.32 c restart_num_ls 4093 6140
235.74/236.32 c LS 50 6
302.88/303.61 c Use LS-small
302.88/303.61 c restart_num_ls 6140 8189
302.88/303.61 c LS 40 56
373.72/374.67 c Use LS-small
373.72/374.67 c restart_num_ls 8189 10236
373.72/374.67 c LS 30 39
438.77/439.85 c Use LS-small
438.77/439.85 c restart_num_ls 10236 12285
438.77/439.85 c LS 20 62
502.62/503.82 c Use LS-small
502.62/503.82 c restart_num_ls 12285 14330
502.62/503.82 c LS 10 22
612.74/614.29 c Use LS-small
612.74/614.29 c restart_num_ls 14330 16382
668.57/670.26 c Use LS-small
668.57/670.26 s UNSATISFIABLE
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: 63665 MiB (62883 MiB free)
memory of node 1: 64507 MiB (60920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513417-1751216603/watcher-4513417-1751216603 -o /tmp/evaluation-result-4513417-1751216603/solver-4513417-1751216603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31561 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513417-1751216603.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=31670, runsolver pid=31667
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 3.52 1.97 2.07 5/266 31671
/proc/meminfo: memFree=126771164/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=0.08 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 8 0 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+0.205837 s]*
/proc/loadavg: 3.52 1.97 2.07 5/266 31671
/proc/meminfo: memFree=126771164/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=0.19 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 18 1 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+0.305631 s]*
/proc/loadavg: 3.52 1.97 2.07 5/266 31671
/proc/meminfo: memFree=126771164/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=0.29 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 27 2 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+0.700146 s]
/proc/loadavg: 3.52 1.97 2.07 5/266 31671
/proc/meminfo: memFree=126771164/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=0.68 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 64 4 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+1.50015 s]
/proc/loadavg: 3.52 1.97 2.07 5/266 31671
/proc/meminfo: memFree=126771164/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=1.47 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 139 8 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+3.1055 s]
/proc/loadavg: 3.52 1.97 2.07 5/266 31671
/proc/meminfo: memFree=126771220/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=3.08 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 291 17 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+6.30013 s]
/proc/loadavg: 3.56 2.00 2.09 5/266 31671
/proc/meminfo: memFree=126771224/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=6.27 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 591 36 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+12.7001 s]
/proc/loadavg: 3.59 2.03 2.10 5/266 31671
/proc/meminfo: memFree=126771224/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=12.66 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 1198 68 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+25.5002 s]
/proc/loadavg: 3.68 2.13 2.13 5/266 31671
/proc/meminfo: memFree=126771232/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=93164 memory=20480 CPUtime=25.43 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 2950 0 0 0 2412 131 0 0 20 0 1 0 37338051 95399936 5120 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+51.1055 s]
/proc/loadavg: 3.79 2.28 2.18 5/267 31672
/proc/meminfo: memFree=126738924/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=100264 memory=34356 CPUtime=50.98 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 6300 0 0 0 4871 227 0 0 20 0 1 0 37338051 102670336 8589 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 25066 8589 2496 595 0 9733 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 100264 KiB
Current children cumulated memory: 34356 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 2.56 2.28 5/267 31679
/proc/meminfo: memFree=126706368/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=101412 memory=35504 CPUtime=102.05 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 10806 0 0 0 9798 407 0 0 20 0 1 0 37338051 103845888 8876 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 25353 8876 2496 595 0 10020 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 101412 KiB
Current children cumulated memory: 35504 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 2.86 2.40 5/267 31681
/proc/meminfo: memFree=126679284/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=102520 memory=36608 CPUtime=161.91 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 17290 0 0 0 15612 579 0 0 20 0 1 0 37338051 104980480 9152 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 25630 9152 2496 595 0 10297 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 102520 KiB
Current children cumulated memory: 36608 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.09 2.51 5/266 31683
/proc/meminfo: memFree=126689640/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=103016 memory=37188 CPUtime=221.77 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 23107 0 0 0 21441 736 0 0 20 0 1 0 37338051 105488384 9297 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 25754 9297 2496 595 0 10421 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 103016 KiB
Current children cumulated memory: 37188 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 3.26 2.61 5/267 31687
/proc/meminfo: memFree=126677172/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=103244 memory=37524 CPUtime=281.63 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 27796 0 0 0 27276 887 0 0 20 0 1 0 37338051 105721856 9381 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 25811 9381 2496 595 0 10478 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 37524 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.42 2.71 5/266 31733
/proc/meminfo: memFree=126678132/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=104108 memory=38388 CPUtime=341.49 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 32389 0 0 0 33109 1040 0 0 20 0 1 0 37338051 106606592 9597 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26027 9597 2496 595 0 10694 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 104108 KiB
Current children cumulated memory: 38388 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.55 2.80 5/265 31780
/proc/meminfo: memFree=126660908/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=104364 memory=38580 CPUtime=401.36 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 36849 0 0 0 38942 1194 0 0 20 0 1 0 37338051 106868736 9645 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26091 9645 2496 595 0 10758 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 104364 KiB
Current children cumulated memory: 38580 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.64 2.88 5/265 31782
/proc/meminfo: memFree=126669472/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=104532 memory=38900 CPUtime=461.22 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 42728 0 0 0 44808 1314 0 0 20 0 1 0 37338051 107040768 9725 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26133 9725 2496 595 0 10800 0
Current children cumulated CPU time: 461.22 s
Current children cumulated vsize: 104532 KiB
Current children cumulated memory: 38900 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 3.73 2.96 5/265 31784
/proc/meminfo: memFree=126668032/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=104564 memory=38932 CPUtime=521.08 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 48960 0 0 0 50656 1452 0 0 20 0 1 0 37338051 107073536 9733 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26141 9733 2496 595 0 10808 0
Current children cumulated CPU time: 521.08 s
Current children cumulated vsize: 104564 KiB
Current children cumulated memory: 38932 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 3.79 3.03 5/264 31787
/proc/meminfo: memFree=126657964/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=104876 memory=39188 CPUtime=580.93 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 56938 0 0 0 56577 1516 0 0 20 0 1 0 37338051 107393024 9797 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26219 9797 2496 595 0 10886 0
Current children cumulated CPU time: 580.93 s
Current children cumulated vsize: 104876 KiB
Current children cumulated memory: 39188 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 3.86 3.11 5/265 31793
/proc/meminfo: memFree=126657240/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105548 memory=39764 CPUtime=640.77 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 62114 0 0 0 62402 1675 0 0 20 0 1 0 37338051 108081152 9941 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26387 9941 2496 595 0 11054 0
Current children cumulated CPU time: 640.77 s
Current children cumulated vsize: 105548 KiB
Current children cumulated memory: 39764 KiB
[startup+670.264 s]
# the end of solver process 31670 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=651.821 s, system=16.8287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.11 3.87 3.12 5/265 31793
/proc/meminfo: memFree=126657240/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105548 memory=39764 CPUtime=651.23 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 63997 0 0 0 63445 1678 0 0 20 0 1 0 37338051 108081152 9941 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26387 9941 2496 595 0 11054 0
Current children cumulated CPU time: 651.23 s
Current children cumulated vsize: 105548 KiB
Current children cumulated memory: 39764 KiB
[startup+659.2 s]
/proc/loadavg: 4.10 3.87 3.12 5/265 31793
/proc/meminfo: memFree=126657240/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105548 memory=39764 CPUtime=657.61 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 65114 0 0 0 64082 1679 0 0 20 0 1 0 37338051 108081152 9941 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26387 9941 2496 595 0 11054 0
Current children cumulated CPU time: 657.61 s
Current children cumulated vsize: 105548 KiB
Current children cumulated memory: 39764 KiB
[startup+665.6 s]
/proc/loadavg: 4.09 3.88 3.13 5/266 31799
/proc/meminfo: memFree=126657004/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105548 memory=39764 CPUtime=663.99 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 66419 0 0 0 64717 1682 0 0 20 0 1 0 37338051 108081152 9941 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26387 9941 2496 595 0 11054 0
Current children cumulated CPU time: 663.99 s
Current children cumulated vsize: 105548 KiB
Current children cumulated memory: 39764 KiB
[startup+668.8 s]
/proc/loadavg: 4.09 3.88 3.13 5/266 31799
/proc/meminfo: memFree=126657100/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105548 memory=39764 CPUtime=667.18 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 67008 0 0 0 65036 1682 0 0 20 0 1 0 37338051 108081152 9941 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26387 9941 2496 595 0 11054 0
Current children cumulated CPU time: 667.18 s
Current children cumulated vsize: 105548 KiB
Current children cumulated memory: 39764 KiB
[startup+669.6 s]
/proc/loadavg: 4.09 3.88 3.13 5/266 31799
/proc/meminfo: memFree=126657100/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105612 memory=39828 CPUtime=667.97 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 67148 0 0 0 65115 1682 0 0 20 0 1 0 37338051 108146688 9957 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26403 9957 2496 595 0 11070 0
Current children cumulated CPU time: 667.97 s
Current children cumulated vsize: 105612 KiB
Current children cumulated memory: 39828 KiB
[startup+670 s]*
/proc/loadavg: 4.08 3.88 3.13 5/266 31799
/proc/meminfo: memFree=126657100/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105612 memory=39828 CPUtime=668.38 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 67206 0 0 0 65156 1682 0 0 20 0 1 0 37338051 108146688 9957 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26403 9957 2496 595 0 11070 0
Current children cumulated CPU time: 668.38 s
Current children cumulated vsize: 105612 KiB
Current children cumulated memory: 39828 KiB
[startup+670.2 s]
/proc/loadavg: 4.08 3.88 3.13 5/266 31799
/proc/meminfo: memFree=126657100/131249996 swapFree=33010684/33010684
[pid=31670] ppid=31667 vsize=105612 memory=39828 CPUtime=668.57 cores=0,2
/proc/31670/stat : 31670 (SynLSCD-PS) R 31667 31670 31551 0 -1 4194304 67264 0 0 0 65175 1682 0 0 20 0 1 0 37338051 108146688 9957 18446744073709551615 94793195429888 94793197864889 140731931742896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94793198345464 94793198378496 94793210302464 140731931748704 140731931748840 140731931748840 140731931754442 0
/proc/31670/statm: 26403 9957 2496 595 0 11070 0
Current children cumulated CPU time: 668.57 s
Current children cumulated vsize: 105612 KiB
Current children cumulated memory: 39828 KiB
Child status: 20
Real time (s): 670.264
CPU time (s): 668.65
CPU user time (s): 651.821
CPU system time (s): 16.8287
CPU usage (%): 99.7591
Max. virtual memory (cumulated for all children) (KiB): 105780
Max. memory (cumulated for all children) (KiB): 39892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 651.821
system time used= 16.8287
maximum resident set size= 40340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67297
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= 147
involuntary context switches= 945
# summary of solver processes directly reported to runsolver:
# pid: 31670
# total CPU time (s): 668.65
# total CPU user time (s): 651.821
# total CPU system time (s): 16.8287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1035 second user time and 2.89547 second system time
The end
Begin job on nodeC017 at 2025-06-29 19:03:23
IDJOB=4513417
IDBENCH=162341
IDSOLVER=3370
FILE ID=nodeC017/4513417-1751216603
RUNJOBID= nodeC017-1751216507-31561
SLURM_JOB_ID= 9587656
Free space on /tmp= 433004 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513417-1751216603/watcher-4513417-1751216603 -o /tmp/evaluation-result-4513417-1751216603/solver-4513417-1751216603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31561 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513417-1751216603.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=1966732351
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.115
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.058
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3603.567
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3601.614
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3599.953
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.056
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3589.282
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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.943
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126775168 kB
MemAvailable: 129512312 kB
Buffers: 2380 kB
Cached: 3509856 kB
SwapCached: 0 kB
Active: 609048 kB
Inactive: 3204684 kB
Active(anon): 319576 kB
Inactive(anon): 16 kB
Active(file): 289472 kB
Inactive(file): 3204668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3644 kB
Writeback: 0 kB
AnonPages: 304592 kB
Mapped: 114256 kB
Shmem: 18080 kB
KReclaimable: 164088 kB
Slab: 252308 kB
SReclaimable: 164088 kB
SUnreclaim: 88220 kB
KernelStack: 4352 kB
PageTables: 3792 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 687836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 106496 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC017 at 2025-06-29 19:14:33