218.31/200.32 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
218.31/200.32 c numVar: 279390
218.31/200.32 c numCon: 5791
218.31/200.32 c numEqual: 0
218.31/200.32 c intSize: 7
218.31/200.32 c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
218.31/200.32 c ------------------- Paras list -------------------
218.31/200.32 c Name Type Now Default Comment
218.31/200.32 c timeout double 3600.000000 3600
218.31/200.32 c mip_time double 0.300000 0.5
218.31/200.32 c ls_time double 10.000000 10
218.31/200.32 c safe_mode int 2 2 1 trust; 2 feasible
218.31/200.32 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
218.31/200.32 c random_seed int 0 0
218.31/200.32 c sample_size int 50 50
218.31/200.32 c sub_score int 1 1
218.31/200.32 c tabu_base int 3 3
218.31/200.32 c tabu_variation int 1 1
218.31/200.32 c sub_div int 4 4
218.31/200.32 c nbcore int 2 1
218.31/200.32 c memlimit int 31000 31744 memory limit in megabytes
218.31/200.32 c print_sol int 1 1
218.31/200.32 c tmpdir string . "."
218.31/200.32 c home string HOME "."
218.31/200.32 c benchname string HOME/instance-4543703-1753222342.opb ""
218.31/200.32 c --------------------------------------------------
218.31/200.32 c Local Search solver
218.31/200.32 c MIP solver
218.31/200.32 c MIP solver infeasible
218.31/200.33 c use Exact solver
218.34/217.65 c Exact infeasible
235.73/217.89 s UNSATISFIABLE
235.73/217.89 c Total time: 218
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: 63794 MiB (35978 MiB free)
memory of node 1: 64507 MiB (37221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543703-1753222342/watcher-4543703-1753222342 -o /tmp/evaluation-result-4543703-1753222342/solver-4543703-1753222342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197389 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4543703-1753222342.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=198841, runsolver pid=198838
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 5.09 5.59 5.79 6/254 198842
/proc/meminfo: memFree=74952728/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=100728 memory=54908 CPUtime=0.1 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 6554 0 0 0 7 3 0 0 20 0 1 0 237913961 103145472 13727 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 25182 13727 1184 6655 0 15417 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100728 KiB
Current children cumulated memory: 54908 KiB
[startup+0.214084 s]*
/proc/loadavg: 5.09 5.59 5.79 7/254 198842
/proc/meminfo: memFree=74896148/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=139540 memory=105084 CPUtime=0.21 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 16559 0 0 0 15 6 0 0 20 0 1 0 237913961 142888960 26271 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 34885 26271 1184 6655 0 25120 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 139540 KiB
Current children cumulated memory: 105084 KiB
[startup+0.314016 s]*
/proc/loadavg: 5.09 5.59 5.79 6/254 198842
/proc/meminfo: memFree=74851740/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=178972 memory=144508 CPUtime=0.31 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 26419 0 0 0 22 9 0 0 20 0 1 0 237913961 183267328 36127 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 44743 36127 1184 6655 0 34978 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 178972 KiB
Current children cumulated memory: 144508 KiB
[startup+0.70035 s]
/proc/loadavg: 5.09 5.59 5.79 7/254 198842
/proc/meminfo: memFree=74791196/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=222092 memory=187324 CPUtime=0.69 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 36617 0 0 0 58 11 0 0 20 0 1 0 237913961 227422208 46831 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 55523 46831 1184 6655 0 45758 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 222092 KiB
Current children cumulated memory: 187324 KiB
[startup+1.50037 s]
/proc/loadavg: 5.09 5.59 5.79 6/254 198842
/proc/meminfo: memFree=74791196/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=222092 memory=187324 CPUtime=1.48 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 36617 0 0 0 137 11 0 0 20 0 1 0 237913961 227422208 46831 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 55523 46831 1184 6655 0 45758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 222092 KiB
Current children cumulated memory: 187324 KiB
[startup+3.11349 s]
/proc/loadavg: 5.08 5.58 5.79 6/254 198842
/proc/meminfo: memFree=74770844/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=222092 memory=187324 CPUtime=3.09 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 36634 0 0 0 298 11 0 0 20 0 1 0 237913961 227422208 46831 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 55523 46831 1184 6655 0 45758 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222092 KiB
Current children cumulated memory: 187324 KiB
[startup+6.30031 s]
/proc/loadavg: 5.08 5.58 5.79 6/254 198842
/proc/meminfo: memFree=74758564/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=222092 memory=187324 CPUtime=6.27 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 36651 0 0 0 616 11 0 0 20 0 1 0 237913961 227422208 46831 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 55523 46831 1184 6655 0 45758 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 222092 KiB
Current children cumulated memory: 187324 KiB
[startup+12.7004 s]
/proc/loadavg: 5.15 5.58 5.79 6/255 198843
/proc/meminfo: memFree=74378044/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=640176 memory=478764 CPUtime=12.65 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 106779 0 0 0 1242 23 0 0 20 0 2 0 237913961 655540224 119691 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 160044 119691 2912 6655 0 133927 0
[pid=198841/tid=198843] ppid=198838 vsize=640176 memory=478764 CPUtime=0 cores=1,3
/proc/198841/task/198843/stat : 198843 (LSIPExact) S 198838 198841 197377 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 237914988 655540224 119691 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 640176 KiB
Current children cumulated memory: 478764 KiB
[startup+25.5002 s]
/proc/loadavg: 5.20 5.57 5.78 7/255 198843
/proc/meminfo: memFree=73742644/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1497908 memory=1179344 CPUtime=33.98 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 260311 0 0 0 3342 56 0 0 20 0 2 0 237913961 1533857792 294836 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 374477 294836 3520 6655 0 345681 0
[pid=198841/tid=198843] ppid=198838 vsize=1497908 memory=1175004 CPUtime=8.6 cores=1,3
/proc/198841/task/198843/stat : 198843 (LSIPExact) R 198838 198841 197377 0 -1 4194368 42072 0 0 0 849 11 0 0 20 0 2 0 237914988 1533857792 294836 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
Current children cumulated CPU time: 33.98 s
Current children cumulated vsize: 1497908 KiB
Current children cumulated memory: 1179344 KiB
[startup+51.1135 s]
/proc/loadavg: 5.25 5.56 5.77 6/255 198844
/proc/meminfo: memFree=73681204/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1497908 memory=1181776 CPUtime=69.53 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 289015 0 0 0 6895 58 0 0 20 0 2 0 237913961 1533857792 295444 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 374477 295444 3520 6655 0 345681 0
[pid=198841/tid=198843] ppid=198838 vsize=1497908 memory=14636 CPUtime=18.61 cores=1,3
/proc/198841/task/198843/stat : 198843 (LSIPExact) S 198838 198841 197377 0 -1 4194368 50675 0 0 0 1850 11 0 0 20 0 2 0 237914988 1533857792 295444 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
Current children cumulated CPU time: 69.53 s
Current children cumulated vsize: 1497908 KiB
Current children cumulated memory: 1181776 KiB
[startup+102.3 s]
/proc/loadavg: 5.17 5.48 5.73 6/254 198846
/proc/meminfo: memFree=73340288/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1580932 memory=1285580 CPUtime=120.58 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 355219 0 0 0 11990 68 0 0 20 0 2 0 237913961 1618874368 321395 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 395233 321395 3520 6655 0 366437 0
[pid=198841/tid=198843] ppid=198838 vsize=1580932 memory=27392 CPUtime=18.61 cores=1,3
/proc/198841/task/198843/stat : 198843 (LSIPExact) S 198838 198841 197377 0 -1 4194368 50675 0 0 0 1850 11 0 0 20 0 2 0 237914988 1618874368 321395 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
Current children cumulated CPU time: 120.58 s
Current children cumulated vsize: 1580932 KiB
Current children cumulated memory: 1285580 KiB
[startup+162.3 s]
/proc/loadavg: 5.72 5.58 5.75 6/254 198848
/proc/meminfo: memFree=73254520/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1511980 memory=1209636 CPUtime=180.41 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 409659 0 0 0 17966 75 0 0 20 0 2 0 237913961 1548267520 302409 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 377995 302409 3520 6655 0 349199 0
[pid=198841/tid=198843] ppid=198838 vsize=1511980 memory=1209636 CPUtime=18.61 cores=1,3
/proc/198841/task/198843/stat : 198843 (LSIPExact) S 198838 198841 197377 0 -1 4194368 50675 0 0 0 1850 11 0 0 20 0 2 0 237914988 1548267520 302409 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
Current children cumulated CPU time: 180.41 s
Current children cumulated vsize: 1511980 KiB
Current children cumulated memory: 1209636 KiB
[startup+217.94 s]
# the end of solver process 198841 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=233.581 s, system=2.30915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 5.78 5.60 5.75 6/254 198848
/proc/meminfo: memFree=73198228/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1515256 memory=1212176 CPUtime=197.27 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 428443 0 0 0 19650 77 0 0 20 0 2 0 237913961 1551622144 303044 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 378814 303044 3520 6655 0 350018 0
[pid=198841/tid=198843] ppid=198838 vsize=1515256 memory=1209636 CPUtime=18.61 cores=1,3
/proc/198841/task/198843/stat : 198843 (LSIPExact) S 198838 198841 197377 0 -1 4194368 50675 0 0 0 1850 11 0 0 20 0 2 0 237914988 1551622144 303044 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
Current children cumulated CPU time: 197.27 s
Current children cumulated vsize: 1515256 KiB
Current children cumulated memory: 1212176 KiB
[startup+204.8 s]
/proc/loadavg: 5.57 5.57 5.74 6/254 198850
/proc/meminfo: memFree=71907496/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1449720 memory=1205240 CPUtime=218.34 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) S 198838 198841 197377 0 -1 4194304 448186 0 0 0 21756 78 0 0 20 0 1 0 237913961 1484513280 301310 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 362430 301310 3552 6655 0 348188 0
[pid=198850] ppid=198841 vsize=1375504 memory=1313468 CPUtime=4.43 cores=1,3
/proc/198850/stat : 198850 (Exact) R 198841 198850 198850 0 -1 4194304 186511 0 0 0 387 56 0 0 20 0 1 0 237933995 1408516096 328367 18446744073709551615 4198400 8335837 140734604233120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 45572096 140734604236985 140734604237339 140734604237339 140734604242895 0
/proc/198850/statm: 343876 328367 960 1011 0 342643 0
Current children cumulated CPU time: 222.77 s
Current children cumulated vsize: 2825224 KiB
Current children cumulated memory: 2518708 KiB
[startup+211.2 s]
/proc/loadavg: 5.53 5.56 5.73 6/254 198850
/proc/meminfo: memFree=69975808/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1449720 memory=1205240 CPUtime=218.34 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) S 198838 198841 197377 0 -1 4194304 448186 0 0 0 21756 78 0 0 20 0 1 0 237913961 1484513280 301310 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 362430 301310 3552 6655 0 348188 0
[pid=198850] ppid=198841 vsize=3237104 memory=2987900 CPUtime=10.81 cores=1,3
/proc/198850/stat : 198850 (Exact) R 198841 198850 198850 0 -1 4194304 427318 0 0 0 952 129 0 0 20 0 1 0 237933995 3314794496 746975 18446744073709551615 4198400 8335837 140734604233120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 45572096 140734604236985 140734604237339 140734604237339 140734604242895 0
/proc/198850/statm: 809276 746975 960 1011 0 808043 0
Current children cumulated CPU time: 229.15 s
Current children cumulated vsize: 4686824 KiB
Current children cumulated memory: 4193140 KiB
[startup+214.4 s]
/proc/loadavg: 5.48 5.55 5.73 6/254 198850
/proc/meminfo: memFree=69878532/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1449720 memory=1205240 CPUtime=218.34 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) S 198838 198841 197377 0 -1 4194304 448186 0 0 0 21756 78 0 0 20 0 1 0 237913961 1484513280 301310 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 362430 301310 3552 6655 0 348188 0
[pid=198850] ppid=198841 vsize=3417484 memory=3178804 CPUtime=14 cores=1,3
/proc/198850/stat : 198850 (Exact) R 198841 198850 198850 0 -1 4194304 454071 0 0 0 1264 136 0 0 20 0 1 0 237933995 3499503616 794701 18446744073709551615 4198400 8335837 140734604233120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 45572096 140734604236985 140734604237339 140734604237339 140734604242895 0
/proc/198850/statm: 854371 794701 1088 1011 0 853138 0
Current children cumulated CPU time: 232.34 s
Current children cumulated vsize: 4867204 KiB
Current children cumulated memory: 4384044 KiB
[startup+216 s]*
/proc/loadavg: 5.48 5.55 5.73 6/254 198850
/proc/meminfo: memFree=69837828/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1449720 memory=1205240 CPUtime=218.34 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) S 198838 198841 197377 0 -1 4194304 448186 0 0 0 21756 78 0 0 20 0 1 0 237913961 1484513280 301310 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 362430 301310 3552 6655 0 348188 0
[pid=198850] ppid=198841 vsize=3432532 memory=3210416 CPUtime=15.6 cores=1,3
/proc/198850/stat : 198850 (Exact) R 198841 198850 198850 0 -1 4194304 457900 0 0 0 1424 136 0 0 20 0 1 0 237933995 3514912768 802604 18446744073709551615 4198400 8335837 140734604233120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 45572096 140734604236985 140734604237339 140734604237339 140734604242895 0
/proc/198850/statm: 858166 802604 1088 1011 0 856933 0
Current children cumulated CPU time: 233.94 s
Current children cumulated vsize: 4882252 KiB
Current children cumulated memory: 4415656 KiB
[startup+216.8 s]
/proc/loadavg: 5.48 5.55 5.73 6/254 198850
/proc/meminfo: memFree=69837828/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1449720 memory=1205240 CPUtime=218.34 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) S 198838 198841 197377 0 -1 4194304 448186 0 0 0 21756 78 0 0 20 0 1 0 237913961 1484513280 301310 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 362430 301310 3552 6655 0 348188 0
[pid=198850] ppid=198841 vsize=2441212 memory=2415996 CPUtime=16.4 cores=1,3
/proc/198850/stat : 198850 (Exact) R 198841 198850 198850 0 -1 4194304 459193 0 0 0 1503 137 0 0 20 0 1 0 237933995 2499801088 603999 18446744073709551615 4198400 8335837 140734604233120 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 45572096 140734604236985 140734604237339 140734604237339 140734604242895 0
/proc/198850/statm: 610303 603999 1120 1011 0 609070 0
Current children cumulated CPU time: 234.74 s
Current children cumulated vsize: 3890932 KiB
Current children cumulated memory: 3621236 KiB
[startup+217.6 s]
/proc/loadavg: 5.44 5.54 5.72 6/254 198850
/proc/meminfo: memFree=70612684/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1449720 memory=1205240 CPUtime=218.34 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) S 198838 198841 197377 0 -1 4194304 448186 0 0 0 21756 78 0 0 20 0 1 0 237913961 1484513280 301310 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 362430 301310 3552 6655 0 348188 0
Current children cumulated CPU time: 218.34 s
Current children cumulated vsize: 1449720 KiB
Current children cumulated memory: 1205240 KiB
[startup+217.8 s]
/proc/loadavg: 5.44 5.54 5.72 6/254 198850
/proc/meminfo: memFree=70612684/131382112 swapFree=33010416/33010684
[pid=198841] ppid=198838 vsize=1434440 memory=1189964 CPUtime=235.73 cores=1,3
/proc/198841/stat : 198841 (LSIPExact) R 198838 198841 197377 0 -1 4194304 466992 459412 0 0 21768 81 1581 143 20 0 1 0 237913961 1468866560 297491 18446744073709551615 94916357144576 94916384400977 140735804380928 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94916392903816 94916393335424 94916408762368 140735804389720 140735804389896 140735804389896 140735804395500 0
/proc/198841/statm: 358610 297491 3552 6655 0 344368 0
Current children cumulated CPU time: 235.73 s
Current children cumulated vsize: 1434440 KiB
Current children cumulated memory: 1189964 KiB
[startup+217.9 s]*
/proc/loadavg: 5.44 5.54 5.72 6/253 198850
/proc/meminfo: memFree=72737096/131382112 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 217.94
CPU time (s): 235.89
CPU user time (s): 233.581
CPU system time (s): 2.30915
CPU usage (%): 108.236
Max. virtual memory (cumulated for all children) (KiB): 4887384
Max. memory (cumulated for all children) (KiB): 4420776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.581
system time used= 2.30915
maximum resident set size= 3215536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940384
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= 286
involuntary context switches= 532
# summary of solver processes directly reported to runsolver:
# pid: 198841
# total CPU time (s): 235.89
# total CPU user time (s): 233.581
# total CPU system time (s): 2.30915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12801 second user time and 2.20985 second system time
The end
Begin job on nodeC012 at 2025-07-23 00:12:22
IDJOB=4543703
IDBENCH=174564
IDSOLVER=3337
FILE ID=nodeC012/4543703-1753222342
RUNJOBID= nodeC012-1753220119-197389
SLURM_JOB_ID= 9687805
Free space on /tmp= 432616 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543703-1753222342/watcher-4543703-1753222342 -o /tmp/evaluation-result-4543703-1753222342/solver-4543703-1753222342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197389 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4543703-1753222342.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=1045714772
nodeC012 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 : 0xb00001f
cpu MHz : 3491.726
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3491.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3662.520
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3591.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 74956824 kB
MemAvailable: 76094744 kB
Buffers: 2136 kB
Cached: 1903468 kB
SwapCached: 12 kB
Active: 54951032 kB
Inactive: 699896 kB
Active(anon): 53766776 kB
Inactive(anon): 4688 kB
Active(file): 1184256 kB
Inactive(file): 695208 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50504 kB
Writeback: 32 kB
AnonPages: 53728024 kB
Mapped: 152768 kB
Shmem: 26140 kB
KReclaimable: 195784 kB
Slab: 287636 kB
SReclaimable: 195784 kB
SUnreclaim: 91852 kB
KernelStack: 4096 kB
PageTables: 109364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 59199340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 31836160 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432576 MiB
End job on nodeC012 at 2025-07-23 00:16:01