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: 63837 MiB (63153 MiB free)
memory of node 1: 64465 MiB (63762 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488942-1751341237/watcher-4488942-1751341237 -o /tmp/evaluation-result-4488942-1751341237/solver-4488942-1751341237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-44997 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488942-1751341237.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
Starting watchdog thread
solver pid=45336, runsolver pid=45333
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 6.18 7.59 7.36 5/251 45337
/proc/meminfo: memFree=129962320/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=0.09 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 9 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.212988 s]*
/proc/loadavg: 6.18 7.59 7.36 5/251 45337
/proc/meminfo: memFree=129962320/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=0.2 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 20 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.312391 s]*
/proc/loadavg: 6.18 7.59 7.36 5/251 45337
/proc/meminfo: memFree=129962320/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=0.3 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 30 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700236 s]
/proc/loadavg: 6.18 7.59 7.36 5/251 45337
/proc/meminfo: memFree=129962320/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=0.67 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 67 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+1.50023 s]
/proc/loadavg: 6.01 7.53 7.35 5/251 45337
/proc/meminfo: memFree=129962572/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=1.47 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 147 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+3.11223 s]
/proc/loadavg: 6.01 7.53 7.35 5/251 45337
/proc/meminfo: memFree=129963248/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=3.08 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 308 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30023 s]
/proc/loadavg: 5.85 7.47 7.33 5/251 45337
/proc/meminfo: memFree=129964132/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=42508 memory=8064 CPUtime=6.26 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 980 0 0 0 626 0 0 0 20 0 1 0 49802880 43528192 2016 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7002 s]
/proc/loadavg: 6.02 7.48 7.33 9/255 45341
/proc/meminfo: memFree=129861828/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=135928 memory=41744 CPUtime=15.2 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 6890 0 0 0 1518 2 0 0 20 0 2 0 49802880 139190272 10436 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 33982 10436 3424 6655 0 8986 0
[pid=45336/tid=45341] ppid=45333 vsize=135928 memory=18048 CPUtime=2.53 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 1163 0 0 0 253 0 0 0 20 0 2 0 49803883 139190272 10436 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 135928 KiB
Current children cumulated memory: 41744 KiB
[startup+25.5002 s]
/proc/loadavg: 6.32 7.50 7.34 9/255 45341
/proc/meminfo: memFree=129833428/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=137436 memory=50832 CPUtime=40.62 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 20471 0 0 0 4058 4 0 0 20 0 2 0 49802880 140734464 12708 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 34359 12708 3424 6655 0 11044 0
[pid=45336/tid=45341] ppid=45333 vsize=137436 memory=42512 CPUtime=15.2 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 6583 0 0 0 1519 1 0 0 20 0 2 0 49803883 140734464 12708 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 40.62 s
Current children cumulated vsize: 137436 KiB
Current children cumulated memory: 50832 KiB
[startup+51.1053 s]
/proc/loadavg: 7.18 7.59 7.38 9/255 45342
/proc/meminfo: memFree=129797588/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=151836 memory=77456 CPUtime=91.51 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 32308 0 0 0 9145 6 0 0 20 0 2 0 49802880 155480064 19364 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 37959 19364 3424 6655 0 17656 0
[pid=45336/tid=45341] ppid=45333 vsize=151836 memory=42512 CPUtime=40.55 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 12621 0 0 0 4053 2 0 0 20 0 2 0 49803883 155480064 19364 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 91.51 s
Current children cumulated vsize: 151836 KiB
Current children cumulated memory: 77456 KiB
[startup+102.3 s]
/proc/loadavg: 7.65 7.66 7.41 9/255 45344
/proc/meminfo: memFree=129754204/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=155500 memory=78736 CPUtime=190.73 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 46424 0 0 0 19066 7 0 0 20 0 2 0 49802880 159232000 19684 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 38875 19684 3456 6655 0 18724 0
[pid=45336/tid=45341] ppid=45333 vsize=155500 memory=42512 CPUtime=88.73 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 18242 0 0 0 8870 3 0 0 20 0 2 0 49803883 159232000 19684 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 190.73 s
Current children cumulated vsize: 155500 KiB
Current children cumulated memory: 78736 KiB
[startup+162.3 s]
/proc/loadavg: 7.86 7.72 7.45 9/254 45346
/proc/meminfo: memFree=129528748/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=179988 memory=111244 CPUtime=306.08 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 70186 0 0 0 30598 10 0 0 20 0 2 0 49802880 184307712 27811 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 44997 27811 3456 6655 0 27615 0
[pid=45336/tid=45341] ppid=45333 vsize=179988 memory=42512 CPUtime=144.25 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 29119 0 0 0 14420 5 0 0 20 0 2 0 49803883 184307712 27811 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 306.08 s
Current children cumulated vsize: 179988 KiB
Current children cumulated memory: 111244 KiB
[startup+222.3 s]
/proc/loadavg: 8.01 7.79 7.49 9/254 45348
/proc/meminfo: memFree=129487280/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=179988 memory=115732 CPUtime=425.24 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 72731 0 0 0 42513 11 0 0 20 0 2 0 49802880 184307712 28933 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 44997 28933 3456 6655 0 27615 0
[pid=45336/tid=45341] ppid=45333 vsize=179988 memory=42512 CPUtime=203.81 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 31193 0 0 0 20376 5 0 0 20 0 2 0 49803883 184307712 28933 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 425.24 s
Current children cumulated vsize: 179988 KiB
Current children cumulated memory: 115732 KiB
[startup+282.3 s]
/proc/loadavg: 8.09 7.86 7.54 9/254 45350
/proc/meminfo: memFree=129469044/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=179988 memory=115732 CPUtime=544.49 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 73876 0 0 0 54438 11 0 0 20 0 2 0 49802880 184307712 28933 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 44997 28933 3456 6655 0 27615 0
[pid=45336/tid=45341] ppid=45333 vsize=179988 memory=42512 CPUtime=263.64 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 31287 0 0 0 26359 5 0 0 20 0 2 0 49803883 184307712 28933 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 544.49 s
Current children cumulated vsize: 179988 KiB
Current children cumulated memory: 115732 KiB
[startup+342.3 s]
/proc/loadavg: 8.14 7.92 7.58 9/254 45352
/proc/meminfo: memFree=129450680/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=179988 memory=117396 CPUtime=663.74 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 75377 0 0 0 66363 11 0 0 20 0 2 0 49802880 184307712 29349 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 44997 29349 3456 6655 0 28000 0
[pid=45336/tid=45341] ppid=45333 vsize=179988 memory=115732 CPUtime=323.48 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 31772 0 0 0 32343 5 0 0 20 0 2 0 49803883 184307712 29349 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 663.74 s
Current children cumulated vsize: 179988 KiB
Current children cumulated memory: 117396 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 280892 0 0 0 245158 73 0 0 20 0 2 0 49802880 982491136 219373 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 239866 219373 3456 6655 0 218108 0
[pid=45336/tid=45341] ppid=45333 vsize=959464 memory=862772 CPUtime=1217.64 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 133406 0 0 0 121722 42 0 0 20 0 2 0 49803883 982491136 219373 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 2452.31 s
Current children cumulated vsize: 959464 KiB
Current children cumulated memory: 877492 KiB
[startup+1302.3 s]
/proc/loadavg: 8.11 8.14 7.99 9/254 45409
/proc/meminfo: memFree=126588364/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=989436 memory=937012 CPUtime=2571.56 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 299182 0 0 0 257076 80 0 0 20 0 2 0 49802880 1013182464 234253 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 247359 234253 3456 6655 0 232994 0
[pid=45336/tid=45341] ppid=45333 vsize=989436 memory=16296 CPUtime=1277.46 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 142713 0 0 0 127701 45 0 0 20 0 2 0 49803883 1013182464 234253 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 2571.56 s
Current children cumulated vsize: 989436 KiB
Current children cumulated memory: 937012 KiB
[startup+1362.3 s]
/proc/loadavg: 8.08 8.13 8.00 9/253 45411
/proc/meminfo: memFree=126426888/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1081764 memory=989236 CPUtime=2690.81 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 317208 0 0 0 268998 83 0 0 20 0 2 0 49802880 1107726336 247309 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 270441 247309 3456 6655 0 245971 0
[pid=45336/tid=45341] ppid=45333 vsize=1081764 memory=967092 CPUtime=1337.3 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 151695 0 0 0 133683 47 0 0 20 0 2 0 49803883 1107726336 247309 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 2690.81 s
Current children cumulated vsize: 1081764 KiB
Current children cumulated memory: 989236 KiB
[startup+1422.3 s]
/proc/loadavg: 8.13 8.13 8.01 9/253 45413
/proc/meminfo: memFree=126252552/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1109300 memory=1044788 CPUtime=2810.05 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 331814 0 0 0 280917 88 0 0 20 0 2 0 49802880 1135923200 261197 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 277325 261197 3456 6655 0 259858 0
[pid=45336/tid=45341] ppid=45333 vsize=1109300 memory=967092 CPUtime=1397.11 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 159028 0 0 0 139662 49 0 0 20 0 2 0 49803883 1135923200 261197 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 2810.05 s
Current children cumulated vsize: 1109300 KiB
Current children cumulated memory: 1044788 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 8.12 8.01 9/254 45416
/proc/meminfo: memFree=126082808/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1204936 memory=1105844 CPUtime=2929.27 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 347429 0 0 0 292833 94 0 0 20 0 2 0 49802880 1233854464 276461 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 301234 276461 3456 6655 0 275274 0
[pid=45336/tid=45341] ppid=45333 vsize=1204936 memory=16296 CPUtime=1456.94 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 166976 0 0 0 145641 53 0 0 20 0 2 0 49803883 1233854464 276461 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 2929.27 s
Current children cumulated vsize: 1204936 KiB
Current children cumulated memory: 1105844 KiB
[startup+1542.3 s]
/proc/loadavg: 8.15 8.13 8.01 9/254 45418
/proc/meminfo: memFree=125926416/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1229708 memory=1153480 CPUtime=3048.51 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 363339 0 0 0 304753 98 0 0 20 0 2 0 49802880 1259220992 288370 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 307427 288370 3456 6655 0 287123 0
[pid=45336/tid=45341] ppid=45333 vsize=1229708 memory=1146568 CPUtime=1516.76 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 174220 0 0 0 151622 54 0 0 20 0 2 0 49803883 1259220992 288370 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 3048.51 s
Current children cumulated vsize: 1229708 KiB
Current children cumulated memory: 1153480 KiB
[startup+1602.3 s]
/proc/loadavg: 8.12 8.12 8.01 9/254 45420
/proc/meminfo: memFree=125757452/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1259892 memory=1213384 CPUtime=3167.75 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 379827 0 0 0 316672 103 0 0 20 0 2 0 49802880 1290129408 303346 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 314973 303346 3456 6655 0 302003 0
[pid=45336/tid=45341] ppid=45333 vsize=1259892 memory=1146568 CPUtime=1576.59 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 182655 0 0 0 157602 57 0 0 20 0 2 0 49803883 1290129408 303346 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 3167.75 s
Current children cumulated vsize: 1259892 KiB
Current children cumulated memory: 1213384 KiB
[startup+1662.3 s]
/proc/loadavg: 8.04 8.09 8.01 9/254 45424
/proc/meminfo: memFree=125602028/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1353072 memory=1268332 CPUtime=3287 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 394332 0 0 0 328593 107 0 0 20 0 2 0 49802880 1385545728 317083 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 338268 317083 3456 6655 0 315875 0
[pid=45336/tid=45341] ppid=45333 vsize=1353072 memory=1146568 CPUtime=1636.42 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 190096 0 0 0 163583 59 0 0 20 0 2 0 49803883 1385545728 317083 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 3287 s
Current children cumulated vsize: 1353072 KiB
Current children cumulated memory: 1268332 KiB
[startup+1722.3 s]
/proc/loadavg: 8.11 8.10 8.01 9/255 45431
/proc/meminfo: memFree=125447428/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1376468 memory=1314668 CPUtime=3406.24 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 410715 0 0 0 340512 112 0 0 20 0 2 0 49802880 1409503232 328667 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 344117 328667 3456 6655 0 327319 0
[pid=45336/tid=45341] ppid=45333 vsize=1376468 memory=1146568 CPUtime=1696.24 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 197855 0 0 0 169562 62 0 0 20 0 2 0 49803883 1409503232 328667 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 3406.24 s
Current children cumulated vsize: 1376468 KiB
Current children cumulated memory: 1314668 KiB
[startup+1782.3 s]
/proc/loadavg: 8.13 8.11 8.02 9/254 45433
/proc/meminfo: memFree=125253656/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1475960 memory=1379948 CPUtime=3525.48 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) R 45333 45336 44987 0 -1 4194304 428860 0 0 0 352429 119 0 0 20 0 2 0 49802880 1511383040 344987 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 368990 344987 3456 6655 0 343666 0
[pid=45336/tid=45341] ppid=45333 vsize=1475960 memory=1377132 CPUtime=1756.07 cores=0,2
/proc/45336/task/45341/stat : 45341 (LSIPExact) R 45333 45336 44987 0 -1 4194368 207399 0 0 0 175540 67 0 0 20 0 2 0 49803883 1511383040 344987 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
Current children cumulated CPU time: 3525.48 s
Current children cumulated vsize: 1475960 KiB
Current children cumulated memory: 1379948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1839.5 s]
/proc/loadavg: 6.15 7.61 7.85 4/249 45551
/proc/meminfo: memFree=128684660/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1147244 memory=1113496 CPUtime=3560.84 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) S 45333 45336 44987 0 -1 4194304 521395 227 0 0 355958 126 0 0 20 0 1 0 49802880 1174777856 278374 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 286811 278374 3488 6655 0 276996 0
[pid=45441] ppid=45336 vsize=238180 memory=182612 CPUtime=39.17 cores=0,2
/proc/45441/stat : 45441 (Exact) R 45336 45441 45441 0 -1 4194304 32605 0 0 0 3899 18 0 0 20 0 1 0 49982899 243896320 45653 18446744073709551615 4198400 8335837 140733810657536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24240128 140733810661556 140733810661917 140733810661917 140733810667471 0
/proc/45441/statm: 59545 45653 1120 1011 0 58312 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1385424 KiB
Current children cumulated memory: 1296108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1839.56 s]
# the end of solver process 45336 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.58 s, system=1.49941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1839.5 s]
/proc/loadavg: 6.15 7.61 7.85 4/249 45551
/proc/meminfo: memFree=128684660/131382120 swapFree=33010160/33010684
[pid=45336] ppid=45333 vsize=1147244 memory=1113496 CPUtime=3560.84 cores=0,2
/proc/45336/stat : 45336 (LSIPExact) S 45333 45336 44987 0 -1 4194304 521395 227 0 0 355958 126 0 0 20 0 1 0 49802880 1174777856 278374 18446744073709551615 94794028822528 94794056078929 140735533781472 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94794064581768 94794065013376 94794072428544 140735533783386 140735533783562 140735533783562 140735533789164 0
/proc/45336/statm: 286811 278374 3488 6655 0 276996 0
[pid=45441] ppid=45336 vsize=238180 memory=182612 CPUtime=39.17 cores=0,2
/proc/45441/stat : 45441 (Exact) R 45336 45441 45441 0 -1 4194304 32605 0 0 0 3899 18 0 0 20 0 1 0 49982899 243896320 45653 18446744073709551615 4198400 8335837 140733810657536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 24240128 140733810661556 140733810661917 140733810661917 140733810667471 0
/proc/45441/statm: 59545 45653 1120 1011 0 58312 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1385424 KiB
Current children cumulated memory: 1296108 KiB
Child status: 0
Real time (s): 1839.56
CPU time (s): 3600.08
CPU user time (s): 3598.58
CPU system time (s): 1.49941
CPU usage (%): 195.704
Max. virtual memory (cumulated for all children) (KiB): 1485136
Max. memory (cumulated for all children) (KiB): 1398636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.49941
maximum resident set size= 1398892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554850
page faults= 0
swaps= 0
block input operations= 224
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 569
involuntary context switches= 88837
# summary of solver processes directly reported to runsolver:
# pid: 45336
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.58
# total CPU system time (s): 1.49941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42751 second user time and 7.91125 second system time
The end
Begin job on nodeC008 at 2025-07-01 05:40:37
IDJOB=4488942
IDBENCH=147535
IDSOLVER=3337
FILE ID=nodeC008/4488942-1751341237
RUNJOBID= nodeC008-1751339396-44997
SLURM_JOB_ID= 9594406
Free space on /tmp= 432928 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488942-1751341237/watcher-4488942-1751341237 -o /tmp/evaluation-result-4488942-1751341237/solver-4488942-1751341237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-44997 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488942-1751341237.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=815592342
nodeC008 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 : 1197.207
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.72
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 : 2095.116
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.72
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 : 1198.050
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.72
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 : 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 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.72
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 : 3092.803
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.72
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 : 2494.175
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.72
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 : 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 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.72
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 : 1197.424
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129962256 kB
MemAvailable: 129864824 kB
Buffers: 2144 kB
Cached: 712500 kB
SwapCached: 16 kB
Active: 307984 kB
Inactive: 494908 kB
Active(anon): 69544 kB
Inactive(anon): 36636 kB
Active(file): 238440 kB
Inactive(file): 458272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 179128 kB
Writeback: 0 kB
AnonPages: 91456 kB
Mapped: 111776 kB
Shmem: 17920 kB
KReclaimable: 90968 kB
Slab: 173184 kB
SReclaimable: 90968 kB
SUnreclaim: 82216 kB
KernelStack: 4048 kB
PageTables: 3140 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 417364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC008 at 2025-07-01 06:11:17