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 (60154 MiB free)
memory of node 1: 64507 MiB (53269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527797-1752236104/watcher-4527797-1752236104 -o /tmp/evaluation-result-4527797-1752236104/solver-4527797-1752236104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752232205-119040 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527797-1752236104.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=120594, runsolver pid=120591
[startup+0.100063 s]*
/proc/loadavg: 4.88 6.37 7.11 5/269 120595
/proc/meminfo: memFree=116097864/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=85508 memory=50816 CPUtime=0.09 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 11731 0 0 0 7 2 0 0 20 0 1 0 139288332 87560192 12704 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 21377 12704 1120 6655 0 11612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85508 KiB
Current children cumulated memory: 50816 KiB
[startup+0.205598 s]*
/proc/loadavg: 4.88 6.37 7.11 5/269 120595
/proc/meminfo: memFree=116097864/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=90548 memory=55808 CPUtime=0.19 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 12984 0 0 0 17 2 0 0 20 0 1 0 139288332 92721152 13952 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 22637 13952 1120 6655 0 12872 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 55808 KiB
[startup+0.305533 s]*
/proc/loadavg: 4.81 6.33 7.09 5/269 120595
/proc/meminfo: memFree=116097864/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=90548 memory=55808 CPUtime=0.29 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 12984 0 0 0 27 2 0 0 20 0 1 0 139288332 92721152 13952 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 22637 13952 1120 6655 0 12872 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 55808 KiB
[startup+0.700136 s]
/proc/loadavg: 4.81 6.33 7.09 5/269 120595
/proc/meminfo: memFree=116097868/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=90548 memory=55808 CPUtime=0.68 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 12984 0 0 0 66 2 0 0 20 0 1 0 139288332 92721152 13952 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 22637 13952 1120 6655 0 12872 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 55808 KiB
[startup+1.50017 s]
/proc/loadavg: 4.81 6.33 7.09 5/269 120595
/proc/meminfo: memFree=116097868/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=90548 memory=55808 CPUtime=1.47 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 12986 0 0 0 145 2 0 0 20 0 1 0 139288332 92721152 13952 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 22637 13952 1120 6655 0 12872 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 55808 KiB
[startup+3.10539 s]
/proc/loadavg: 4.81 6.33 7.09 5/269 120595
/proc/meminfo: memFree=116101260/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=90548 memory=55808 CPUtime=3.07 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 12986 0 0 0 305 2 0 0 20 0 1 0 139288332 92721152 13952 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 22637 13952 1120 6655 0 12872 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 55808 KiB
[startup+6.30017 s]
/proc/loadavg: 4.75 6.29 7.08 5/269 120595
/proc/meminfo: memFree=116101308/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=90548 memory=55808 CPUtime=6.26 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 12987 0 0 0 624 2 0 0 20 0 1 0 139288332 92721152 13952 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 22637 13952 1120 6655 0 12872 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 55808 KiB
[startup+12.7002 s]
/proc/loadavg: 4.69 6.25 7.06 6/270 120596
/proc/meminfo: memFree=115989348/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=262672 memory=188984 CPUtime=14.62 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 40489 0 0 0 1456 6 0 0 20 0 2 0 139288332 268976128 47246 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 65668 47246 3392 6655 0 45883 0
[pid=120594/tid=120596] ppid=120591 vsize=262672 memory=181992 CPUtime=1.97 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 5761 0 0 0 197 0 0 0 20 0 2 0 139289340 268976128 47246 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 14.62 s
Current children cumulated vsize: 262672 KiB
Current children cumulated memory: 188984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.73 6.21 7.04 6/270 120596
/proc/meminfo: memFree=115967704/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=261512 memory=197796 CPUtime=40.03 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 62631 0 0 0 3995 8 0 0 20 0 2 0 139288332 267788288 49449 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 65378 49449 3392 6655 0 48307 0
[pid=120594/tid=120596] ppid=120591 vsize=261512 memory=172776 CPUtime=14.62 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 15406 0 0 0 1461 1 0 0 20 0 2 0 139289340 267788288 49449 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 40.03 s
Current children cumulated vsize: 261512 KiB
Current children cumulated memory: 197796 KiB
[startup+51.1055 s]
/proc/loadavg: 4.90 6.11 6.98 6/270 120597
/proc/meminfo: memFree=115907540/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=271500 memory=222388 CPUtime=90.13 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 112586 0 0 0 8998 15 0 0 20 0 2 0 139288332 278016000 55597 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 67875 55597 3424 6655 0 53992 0
[pid=120594/tid=120596] ppid=120591 vsize=271500 memory=222388 CPUtime=39.27 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 37082 0 0 0 3923 4 0 0 20 0 2 0 139289340 278016000 55597 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 90.13 s
Current children cumulated vsize: 271500 KiB
Current children cumulated memory: 222388 KiB
[startup+102.3 s]
/proc/loadavg: 4.96 5.94 6.87 6/269 120598
/proc/meminfo: memFree=115901808/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=281012 memory=236120 CPUtime=191.86 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 155852 0 0 0 19167 19 0 0 20 0 2 0 139288332 287756288 59030 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 70253 59030 3424 6655 0 57483 0
[pid=120594/tid=120596] ppid=120591 vsize=281012 memory=20736 CPUtime=89.97 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 57997 0 0 0 8991 6 0 0 20 0 2 0 139289340 287756288 59030 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 191.86 s
Current children cumulated vsize: 281012 KiB
Current children cumulated memory: 236120 KiB
[startup+162.3 s]
/proc/loadavg: 5.19 5.83 6.77 6/266 120644
/proc/meminfo: memFree=106215868/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=393196 memory=315608 CPUtime=311.06 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 188565 0 0 0 31080 26 0 0 20 0 2 0 139288332 402632704 78902 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 98299 78902 3424 6655 0 77350 0
[pid=120594/tid=120596] ppid=120591 vsize=393196 memory=311768 CPUtime=149.34 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 73823 0 0 0 14923 11 0 0 20 0 2 0 139289340 402632704 78902 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 311.06 s
Current children cumulated vsize: 393196 KiB
Current children cumulated memory: 315608 KiB
[startup+222.3 s]
/proc/loadavg: 5.12 5.69 6.66 6/267 120648
/proc/meminfo: memFree=99021336/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=414612 memory=358232 CPUtime=430.24 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 225818 0 0 0 42992 32 0 0 20 0 2 0 139288332 424562688 89558 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 103653 89558 3424 6655 0 88364 0
[pid=120594/tid=120596] ppid=120591 vsize=414612 memory=358232 CPUtime=208.7 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 92541 0 0 0 20856 14 0 0 20 0 2 0 139289340 424562688 89558 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 430.24 s
Current children cumulated vsize: 414612 KiB
Current children cumulated memory: 358232 KiB
[startup+282.3 s]
/proc/loadavg: 5.09 5.58 6.56 6/268 120651
/proc/meminfo: memFree=99011364/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=418544 memory=361816 CPUtime=549.42 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 257077 0 0 0 54907 35 0 0 20 0 2 0 139288332 428589056 90454 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 104636 90454 3424 6655 0 89347 0
[pid=120594/tid=120596] ppid=120591 vsize=418544 memory=361432 CPUtime=268.05 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 100720 0 0 0 26790 15 0 0 20 0 2 0 139289340 428589056 90454 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 549.42 s
Current children cumulated vsize: 418544 KiB
Current children cumulated memory: 361816 KiB
[startup+342.3 s]
/proc/loadavg: 5.09 5.48 6.47 6/268 120653
/proc/meminfo: memFree=98944640/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=514460 memory=427864 CPUtime=668.65 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 291771 0 0 0 66822 43 0 0 20 0 2 0 139288332 526807040 106966 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 128615 106966 3424 6655 0 105183 0
[pid=120594/tid=120596] ppid=120591 vsize=514460 memory=384856 CPUtime=327.45 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 122241 0 0 0 32724 21 0 0 20 0 2 0 139289340 526807040 106966 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 668.65 s
Current children cumulated vsize: 514460 KiB
Current children cumulated memory: 427864 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 237047 0 0 0 134244 40 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 2694.75 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1422.3 s]
/proc/loadavg: 5.08 5.10 5.51 6/265 120705
/proc/meminfo: memFree=98352240/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=2814.01 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 578458 0 0 0 281309 92 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=951740 CPUtime=1402.25 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 237233 0 0 0 140184 41 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 2814.01 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1482.3 s]
/proc/loadavg: 5.07 5.09 5.48 6/265 120707
/proc/meminfo: memFree=98352048/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=2933.28 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 578856 0 0 0 293236 92 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=970504 CPUtime=1461.68 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 237610 0 0 0 146127 41 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 2933.28 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1542.3 s]
/proc/loadavg: 5.13 5.10 5.46 6/265 120709
/proc/meminfo: memFree=98352240/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=3052.54 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 587865 0 0 0 305161 93 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=10752 CPUtime=1521.11 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 242543 0 0 0 152069 42 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 3052.54 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1602.3 s]
/proc/loadavg: 5.05 5.08 5.43 6/266 120712
/proc/meminfo: memFree=98351856/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=3171.8 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 594400 0 0 0 317086 94 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=970504 CPUtime=1580.53 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 245781 0 0 0 158011 42 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 3171.8 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1662.3 s]
/proc/loadavg: 5.13 5.10 5.41 6/267 120721
/proc/meminfo: memFree=98347068/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=3291.06 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 597582 0 0 0 329011 95 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=970504 CPUtime=1639.96 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 246772 0 0 0 163954 42 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 3291.06 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1722.3 s]
/proc/loadavg: 5.11 5.09 5.39 6/267 120723
/proc/meminfo: memFree=98347204/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=3410.33 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 605049 0 0 0 340936 97 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=970504 CPUtime=1699.38 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 251355 0 0 0 169896 42 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 3410.33 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
[startup+1782.3 s]
/proc/loadavg: 4.69 4.99 5.33 5/260 120756
/proc/meminfo: memFree=98591032/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=3529.59 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 619225 0 0 0 352860 99 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=16896 CPUtime=1758.81 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 259181 0 0 0 175838 43 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 3529.59 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.8 s]
/proc/loadavg: 4.16 4.83 5.27 4/254 120788
/proc/meminfo: memFree=98843388/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=1048044 memory=970504 CPUtime=3600.12 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) R 120591 120594 119023 0 -1 4194304 624958 0 0 0 359909 103 0 0 20 0 2 0 139288332 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 262011 242626 3424 6655 0 241914 0
[pid=120594/tid=120596] ppid=120591 vsize=1048044 memory=16896 CPUtime=1793.97 cores=0,2
/proc/120594/task/120596/stat : 120596 (LSIPExact) R 120591 120594 119023 0 -1 4194368 261962 0 0 0 179354 43 0 0 20 0 2 0 139289340 1073197056 242626 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 1048044 KiB
Current children cumulated memory: 970504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.85 s]
# the end of solver process 120594 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3601.01 s, system=1.11459 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1819.2 s]
/proc/loadavg: 4.16 4.83 5.27 3/254 120790
/proc/meminfo: memFree=98840048/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=954148 memory=920632 CPUtime=3600.19 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) S 120591 120594 119023 0 -1 4194304 645025 229 0 0 359914 105 0 0 20 0 1 0 139288332 977047552 230158 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 238537 230158 3456 6655 0 228748 0
[pid=120790] ppid=120594 vsize=68916 memory=56164 CPUtime=1.28 cores=0,2
/proc/120790/stat : 120790 (Exact) R 120594 120790 120790 0 -1 4194304 14030 0 0 0 126 2 0 0 20 0 1 0 139470120 70569984 14041 18446744073709551615 4198400 8335837 140733166310512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39342080 140733166315698 140733166316059 140733166316059 140733166321615 0
/proc/120790/statm: 17229 14041 1088 1011 0 15996 0
Current children cumulated CPU time: 3601.47 s
Current children cumulated vsize: 1023064 KiB
Current children cumulated memory: 976796 KiB
[startup+1819.6 s]
/proc/loadavg: 4.16 4.83 5.27 3/254 120790
/proc/meminfo: memFree=98840048/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=954148 memory=920632 CPUtime=3600.19 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) S 120591 120594 119023 0 -1 4194304 645025 229 0 0 359914 105 0 0 20 0 1 0 139288332 977047552 230158 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 238537 230158 3456 6655 0 228748 0
[pid=120790] ppid=120594 vsize=68916 memory=56164 CPUtime=1.67 cores=0,2
/proc/120790/stat : 120790 (Exact) R 120594 120790 120790 0 -1 4194304 14030 0 0 0 165 2 0 0 20 0 1 0 139470120 70569984 14041 18446744073709551615 4198400 8335837 140733166310512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39342080 140733166315698 140733166316059 140733166316059 140733166321615 0
/proc/120790/statm: 17229 14041 1088 1011 0 15996 0
Current children cumulated CPU time: 3601.86 s
Current children cumulated vsize: 1023064 KiB
Current children cumulated memory: 976796 KiB
[startup+1819.8 s]
/proc/loadavg: 4.16 4.83 5.27 3/254 120790
/proc/meminfo: memFree=98840048/131249996 swapFree=33010684/33010684
[pid=120594] ppid=120591 vsize=954148 memory=920632 CPUtime=3600.19 cores=0,2
/proc/120594/stat : 120594 (LSIPExact) S 120591 120594 119023 0 -1 4194304 645025 229 0 0 359914 105 0 0 20 0 1 0 139288332 977047552 230158 18446744073709551615 94367489982464 94367517239633 140721500118720 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94367525741704 94367526173312 94367555121152 140721500125528 140721500125704 140721500125704 140721500131308 0
/proc/120594/statm: 238537 230158 3456 6655 0 228748 0
[pid=120790] ppid=120594 vsize=68916 memory=56164 CPUtime=1.87 cores=0,2
/proc/120790/stat : 120790 (Exact) R 120594 120790 120790 0 -1 4194304 14030 0 0 0 185 2 0 0 20 0 1 0 139470120 70569984 14041 18446744073709551615 4198400 8335837 140733166310512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39342080 140733166315698 140733166316059 140733166316059 140733166321615 0
/proc/120790/statm: 17229 14041 1088 1011 0 15996 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1023064 KiB
Current children cumulated memory: 976796 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1819.85
CPU time (s): 3602.13
CPU user time (s): 3601.01
CPU system time (s): 1.11459
CPU usage (%): 197.936
Max. virtual memory (cumulated for all children) (KiB): 1048044
Max. memory (cumulated for all children) (KiB): 976796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.01
system time used= 1.11459
maximum resident set size= 970632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662396
page faults= 0
swaps= 0
block input operations= 6240
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 677
involuntary context switches= 28667
# summary of solver processes directly reported to runsolver:
# pid: 120594
# total CPU time (s): 3602.13
# total CPU user time (s): 3601.01
# total CPU system time (s): 1.11459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72954 second user time and 8.18116 second system time
The end
Begin job on nodeC024 at 2025-07-11 14:15:04
IDJOB=4527797
IDBENCH=180361
IDSOLVER=3384
FILE ID=nodeC024/4527797-1752236104
RUNJOBID= nodeC024-1752232205-119040
SLURM_JOB_ID= 9682535
Free space on /tmp= 432228 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527797-1752236104/watcher-4527797-1752236104 -o /tmp/evaluation-result-4527797-1752236104/solver-4527797-1752236104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752232205-119040 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527797-1752236104.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f69e8990d47aa59ed46eeada43b05a2f
RANDOM SEED=1840139429
nodeC024 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 : 3599.377
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 : 6999.36
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 : 3599.679
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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.232
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 : 6999.36
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 : 3700.000
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 : 6999.36
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.675
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 : 6999.36
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 : 3599.674
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 : 6999.36
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 : 3700.000
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 : 6999.36
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 : 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 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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116145492 kB
MemAvailable: 129308524 kB
Buffers: 2144 kB
Cached: 13927068 kB
SwapCached: 0 kB
Active: 1010364 kB
Inactive: 13346916 kB
Active(anon): 446096 kB
Inactive(anon): 36 kB
Active(file): 564268 kB
Inactive(file): 13346880 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47772 kB
Writeback: 4 kB
AnonPages: 424596 kB
Mapped: 155364 kB
Shmem: 18064 kB
KReclaimable: 181848 kB
Slab: 276144 kB
SReclaimable: 181848 kB
SUnreclaim: 94296 kB
KernelStack: 4336 kB
PageTables: 4144 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 866944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 431612 MiB
End job on nodeC024 at 2025-07-11 14:45:24