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: 63708 MiB (54102 MiB free)
memory of node 1: 64465 MiB (60534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527327-1752232206/watcher-4527327-1752232206 -o /tmp/evaluation-result-4527327-1752232206/solver-4527327-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752232205-128448 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527327-1752232206.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.el9_5.x86_64
Starting watchdog thread
solver pid=128503, runsolver pid=128495
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 0.07 0.08 0.09 5/266 128508
/proc/meminfo: memFree=117341700/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=0.08 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4281 0 0 0 8 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+0.205536 s]*
/proc/loadavg: 0.07 0.08 0.09 5/266 128508
/proc/meminfo: memFree=117341700/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=0.19 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4281 0 0 0 19 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+0.305432 s]*
/proc/loadavg: 0.07 0.08 0.09 5/266 128508
/proc/meminfo: memFree=117341700/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=0.28 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4281 0 0 0 28 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+0.700176 s]
/proc/loadavg: 0.38 0.15 0.11 5/266 128508
/proc/meminfo: memFree=117342308/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=0.67 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4281 0 0 0 67 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+1.50018 s]
/proc/loadavg: 0.38 0.15 0.11 5/266 128508
/proc/meminfo: memFree=117342308/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=1.47 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4281 0 0 0 147 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+3.10533 s]
/proc/loadavg: 0.38 0.15 0.11 5/266 128508
/proc/meminfo: memFree=117342976/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=3.07 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4283 0 0 0 307 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+6.30012 s]
/proc/loadavg: 0.67 0.21 0.13 5/266 128508
/proc/meminfo: memFree=117343200/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=55700 memory=21120 CPUtime=6.25 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 4283 0 0 0 625 0 0 0 20 0 1 0 138898242 57036800 5280 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+12.7002 s]
/proc/loadavg: 1.10 0.31 0.16 5/260 128521
/proc/meminfo: memFree=117130064/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=201624 memory=120968 CPUtime=15.04 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 27265 0 0 0 1499 5 0 0 20 0 2 0 138898242 206462976 30242 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 50406 30242 3424 6655 0 29584 0
[pid=128503/tid=128511] ppid=128495 vsize=201624 memory=81672 CPUtime=2.39 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 5141 0 0 0 239 0 0 0 20 0 2 0 138899246 206462976 30242 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 15.04 s
Current children cumulated vsize: 201624 KiB
Current children cumulated memory: 120968 KiB
[startup+25.5002 s]
/proc/loadavg: 1.93 0.51 0.23 5/260 128528
/proc/meminfo: memFree=117101700/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=204928 memory=127880 CPUtime=40.38 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 68724 0 0 0 4026 12 0 0 20 0 2 0 138898242 209846272 31970 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 51232 31970 3424 6655 0 30410 0
[pid=128503/tid=128511] ppid=128495 vsize=204928 memory=127880 CPUtime=15.01 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 15821 0 0 0 1498 3 0 0 20 0 2 0 138899246 209846272 31970 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 40.38 s
Current children cumulated vsize: 204928 KiB
Current children cumulated memory: 127880 KiB
[startup+51.1054 s]
/proc/loadavg: 3.81 1.10 0.44 5/261 128688
/proc/meminfo: memFree=117064380/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=204928 memory=132744 CPUtime=91.07 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 84367 0 0 0 9081 26 0 0 20 0 2 0 138898242 209846272 33186 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 51232 33186 3424 6655 0 31431 0
[pid=128503/tid=128511] ppid=128495 vsize=204928 memory=131848 CPUtime=40.25 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 24172 0 0 0 4012 13 0 0 20 0 2 0 138899246 209846272 33186 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 91.07 s
Current children cumulated vsize: 204928 KiB
Current children cumulated memory: 132744 KiB
[startup+102.3 s]
/proc/loadavg: 5.55 1.99 0.77 8/271 128880
/proc/meminfo: memFree=116013484/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=204928 memory=138376 CPUtime=192.57 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 105249 0 0 0 19218 39 0 0 20 0 2 0 138898242 209846272 34594 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 51232 34594 3424 6655 0 32794 0
[pid=128503/tid=128511] ppid=128495 vsize=204928 memory=138376 CPUtime=90.81 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 36453 0 0 0 9060 21 0 0 20 0 2 0 138899246 209846272 34594 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 192.57 s
Current children cumulated vsize: 204928 KiB
Current children cumulated memory: 138376 KiB
[startup+162.3 s]
/proc/loadavg: 6.87 3.01 1.20 9/272 128929
/proc/meminfo: memFree=116455416/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=221564 memory=160520 CPUtime=311.72 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 112555 0 0 0 31128 44 0 0 20 0 2 0 138898242 226881536 40130 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 55391 40130 3424 6655 0 38290 0
[pid=128503/tid=128511] ppid=128495 vsize=221564 memory=141832 CPUtime=150.17 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 37937 0 0 0 14993 24 0 0 20 0 2 0 138899246 226881536 40130 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 311.72 s
Current children cumulated vsize: 221564 KiB
Current children cumulated memory: 160520 KiB
[startup+222.3 s]
/proc/loadavg: 7.56 3.92 1.63 9/271 128931
/proc/meminfo: memFree=116164832/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=229364 memory=172040 CPUtime=426.45 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 121355 0 0 0 42600 45 0 0 20 0 2 0 138898242 234868736 43010 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 57341 43010 3424 6655 0 41697 0
[pid=128503/tid=128511] ppid=128495 vsize=229364 memory=165768 CPUtime=207.88 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 41198 0 0 0 20764 24 0 0 20 0 2 0 138899246 234868736 43010 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 426.45 s
Current children cumulated vsize: 229364 KiB
Current children cumulated memory: 172040 KiB
[startup+282.3 s]
/proc/loadavg: 7.97 4.70 2.05 9/272 128934
/proc/meminfo: memFree=115899308/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=229364 memory=172040 CPUtime=545.62 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 122909 0 0 0 54516 46 0 0 20 0 2 0 138898242 234868736 43010 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 57341 43010 3424 6655 0 41697 0
[pid=128503/tid=128511] ppid=128495 vsize=229364 memory=172040 CPUtime=267.26 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 41268 0 0 0 26701 25 0 0 20 0 2 0 138899246 234868736 43010 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 545.62 s
Current children cumulated vsize: 229364 KiB
Current children cumulated memory: 172040 KiB
[startup+342.3 s]
/proc/loadavg: 8.10 5.34 2.43 9/269 128936
/proc/meminfo: memFree=115626892/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=229364 memory=172168 CPUtime=664.84 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 123829 0 0 0 66437 47 0 0 20 0 2 0 138898242 234868736 43042 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 57341 43042 3424 6655 0 41697 0
[pid=128503/tid=128511] ppid=128495 vsize=229364 memory=172040 CPUtime=326.66 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 41329 0 0 0 32641 25 0 0 20 0 2 0 138899246 234868736 43042 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 664.84 s
Current children cumulated vsize: 229364 KiB
Current children cumulated memory: 172168 KiB
################
# More data... #
################
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 112407 0 0 0 133611 50 0 0 20 0 2 0 138899246 504078336 112791 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 2691.65 s
Current children cumulated vsize: 492264 KiB
Current children cumulated memory: 451164 KiB
[startup+1422.3 s]
/proc/loadavg: 7.85 7.42 5.97 9/269 129041
/proc/meminfo: memFree=112946044/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=572308 memory=486236 CPUtime=2810.84 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 265338 0 0 0 280994 90 0 0 20 0 2 0 138898242 586043392 121559 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 143077 121559 3424 6655 0 119772 0
[pid=128503/tid=128511] ppid=128495 vsize=572308 memory=440156 CPUtime=1396.01 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 118051 0 0 0 139548 53 0 0 20 0 2 0 138899246 586043392 121559 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 2810.84 s
Current children cumulated vsize: 572308 KiB
Current children cumulated memory: 486236 KiB
[startup+1482.3 s]
/proc/loadavg: 8.00 7.54 6.10 9/270 129045
/proc/meminfo: memFree=112903064/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=603564 memory=535388 CPUtime=2930.03 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 283168 0 0 0 292908 95 0 0 20 0 2 0 138898242 618049536 133847 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 150891 133847 3424 6655 0 132086 0
[pid=128503/tid=128511] ppid=128495 vsize=603564 memory=14432 CPUtime=1455.39 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 123608 0 0 0 145485 54 0 0 20 0 2 0 138899246 618049536 133847 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 2930.03 s
Current children cumulated vsize: 603564 KiB
Current children cumulated memory: 535388 KiB
[startup+1542.3 s]
/proc/loadavg: 8.07 7.64 6.23 9/269 129047
/proc/meminfo: memFree=112800048/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=624804 memory=583388 CPUtime=3049.22 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 296346 0 0 0 304821 101 0 0 20 0 2 0 138898242 639799296 145847 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 156201 145847 3424 6655 0 144068 0
[pid=128503/tid=128511] ppid=128495 vsize=624804 memory=580700 CPUtime=1514.78 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 130728 0 0 0 151419 59 0 0 20 0 2 0 138899246 639799296 145847 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 3049.22 s
Current children cumulated vsize: 624804 KiB
Current children cumulated memory: 583388 KiB
[startup+1602.3 s]
/proc/loadavg: 8.08 7.73 6.35 9/270 129050
/proc/meminfo: memFree=112749240/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=711728 memory=615124 CPUtime=3168.44 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 311520 0 0 0 316739 105 0 0 20 0 2 0 138898242 728809472 153781 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 177932 153781 3424 6655 0 152520 0
[pid=128503/tid=128511] ppid=128495 vsize=711728 memory=10624 CPUtime=1574.16 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 139650 0 0 0 157354 62 0 0 20 0 2 0 138899246 728809472 153781 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 3168.44 s
Current children cumulated vsize: 711728 KiB
Current children cumulated memory: 615124 KiB
[startup+1662.3 s]
/proc/loadavg: 8.07 7.79 6.46 9/270 129052
/proc/meminfo: memFree=112723468/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=711728 memory=622676 CPUtime=3287.61 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 313884 0 0 0 328655 106 0 0 20 0 2 0 138898242 728809472 155669 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 177932 155669 3424 6655 0 154404 0
[pid=128503/tid=128511] ppid=128495 vsize=711728 memory=569820 CPUtime=1633.53 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 141583 0 0 0 163290 63 0 0 20 0 2 0 138899246 728809472 155669 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 3287.61 s
Current children cumulated vsize: 711728 KiB
Current children cumulated memory: 622676 KiB
[startup+1722.3 s]
/proc/loadavg: 8.13 7.86 6.57 9/270 129054
/proc/meminfo: memFree=112645320/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=722424 memory=663124 CPUtime=3406.79 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 324998 0 0 0 340570 109 0 0 20 0 2 0 138898242 739762176 165781 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 180606 165781 3424 6655 0 164144 0
[pid=128503/tid=128511] ppid=128495 vsize=722424 memory=569820 CPUtime=1692.91 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 149500 0 0 0 169226 65 0 0 20 0 2 0 138899246 739762176 165781 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 3406.79 s
Current children cumulated vsize: 722424 KiB
Current children cumulated memory: 663124 KiB
[startup+1782.3 s]
/proc/loadavg: 8.10 7.91 6.67 9/270 129056
/proc/meminfo: memFree=112559948/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=740884 memory=692948 CPUtime=3526 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 333502 0 0 0 352489 111 0 0 20 0 2 0 138898242 758665216 173237 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 185221 173237 3424 6655 0 171478 0
[pid=128503/tid=128511] ppid=128495 vsize=740884 memory=5632 CPUtime=1752.31 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 152952 0 0 0 175165 66 0 0 20 0 2 0 138899246 758665216 173237 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 3526 s
Current children cumulated vsize: 740884 KiB
Current children cumulated memory: 692948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819.6 s]
/proc/loadavg: 8.11 7.94 6.72 8/268 129057
/proc/meminfo: memFree=113156548/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=742720 memory=694868 CPUtime=3600.11 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) R 128495 128503 128431 0 -1 4194304 334294 0 0 0 359900 111 0 0 20 0 2 0 138898242 760545280 173717 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 185680 173717 3424 6655 0 171937 0
[pid=128503/tid=128511] ppid=128495 vsize=742720 memory=796744 CPUtime=1789.23 cores=0,2
/proc/128503/task/128511/stat : 128511 (LSIPExact) R 128495 128503 128431 0 -1 4194368 152985 0 0 0 178857 66 0 0 20 0 2 0 138899246 760545280 173717 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 742720 KiB
Current children cumulated memory: 694868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1821.63 s]
# the end of solver process 128503 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3600.91 s, system=1.17663 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1820.8 s]
/proc/loadavg: 8.11 7.94 6.72 7/270 129067
/proc/meminfo: memFree=113417620/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=480576 memory=414320 CPUtime=3600.15 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) S 128495 128503 128431 0 -1 4194304 343973 227 0 0 359903 112 0 0 20 0 1 0 138898242 492109824 103580 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 120144 103580 3456 6655 0 110043 0
[pid=129059] ppid=128503 vsize=46508 memory=29676 CPUtime=1.08 cores=0,2
/proc/129059/stat : 129059 (Exact) R 128503 129059 129059 0 -1 4194304 6650 0 0 0 106 2 0 0 20 0 1 0 139080209 47624192 7419 18446744073709551615 4198400 8335837 140731215648560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 44716032 140731215653042 140731215653403 140731215653403 140731215658959 0
/proc/129059/statm: 11627 7419 1120 1011 0 10394 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 527084 KiB
Current children cumulated memory: 443996 KiB
[startup+1821.2 s]
/proc/loadavg: 8.02 7.92 6.73 6/265 129076
/proc/meminfo: memFree=115986476/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=480576 memory=414320 CPUtime=3600.15 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) S 128495 128503 128431 0 -1 4194304 343973 227 0 0 359903 112 0 0 20 0 1 0 138898242 492109824 103580 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 120144 103580 3456 6655 0 110043 0
[pid=129059] ppid=128503 vsize=49816 memory=34820 CPUtime=1.47 cores=0,2
/proc/129059/stat : 129059 (Exact) R 128503 129059 129059 0 -1 4194304 7562 0 0 0 145 2 0 0 20 0 1 0 139080209 51011584 8705 18446744073709551615 4198400 8335837 140731215648560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 44716032 140731215653042 140731215653403 140731215653403 140731215658959 0
/proc/129059/statm: 12454 8705 1120 1011 0 11221 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 530392 KiB
Current children cumulated memory: 449140 KiB
[startup+1821.6 s]
/proc/loadavg: 8.02 7.92 6.73 6/265 129076
/proc/meminfo: memFree=115986476/131250000 swapFree=33010160/33010684
[pid=128503] ppid=128495 vsize=480576 memory=414320 CPUtime=3600.15 cores=0,2
/proc/128503/stat : 128503 (LSIPExact) S 128495 128503 128431 0 -1 4194304 343973 227 0 0 359903 112 0 0 20 0 1 0 138898242 492109824 103580 18446744073709551615 94039833100288 94039860357457 140721787109184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94039868859528 94039869291136 94039884271616 140721787115864 140721787116040 140721787116040 140721787121644 0
/proc/128503/statm: 120144 103580 3456 6655 0 110043 0
[pid=129059] ppid=128503 vsize=52188 memory=39004 CPUtime=1.87 cores=0,2
/proc/129059/stat : 129059 (Exact) R 128503 129059 129059 0 -1 4194304 8116 0 0 0 185 2 0 0 20 0 1 0 139080209 53440512 9751 18446744073709551615 4198400 8335837 140731215648560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 44716032 140731215653042 140731215653403 140731215653403 140731215658959 0
/proc/129059/statm: 13047 9751 1120 1011 0 11814 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 532764 KiB
Current children cumulated memory: 453324 KiB
Child status: 0
Real time (s): 1821.63
CPU time (s): 3602.08
CPU user time (s): 3600.91
CPU system time (s): 1.17663
CPU usage (%): 197.739
Max. virtual memory (cumulated for all children) (KiB): 742720
Max. memory (cumulated for all children) (KiB): 694868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.91
system time used= 1.17663
maximum resident set size= 695124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353356
page faults= 0
swaps= 0
block input operations= 1800
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 542
involuntary context switches= 102172
# summary of solver processes directly reported to runsolver:
# pid: 128503
# total CPU time (s): 3602.08
# total CPU user time (s): 3600.91
# total CPU system time (s): 1.17663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19308 second user time and 8.92046 second system time
The end
Begin job on nodeC016 at 2025-07-11 13:10:06
IDJOB=4527327
IDBENCH=147018
IDSOLVER=3384
FILE ID=nodeC016/4527327-1752232206
RUNJOBID= nodeC016-1752232205-128448
SLURM_JOB_ID= 9682527
Free space on /tmp= 430588 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527327-1752232206/watcher-4527327-1752232206 -o /tmp/evaluation-result-4527327-1752232206/solver-4527327-1752232206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752232205-128448 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527327-1752232206.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=417534739
nodeC016 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.608
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.48
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.761
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.48
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.728
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.48
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 : 3708.511
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.48
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.750
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.48
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.829
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.708
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.48
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 : 3653.643
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117386584 kB
MemAvailable: 129641880 kB
Buffers: 2144 kB
Cached: 12967792 kB
SwapCached: 28 kB
Active: 767120 kB
Inactive: 12283176 kB
Active(anon): 96292 kB
Inactive(anon): 2112 kB
Active(file): 670828 kB
Inactive(file): 12281064 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 181224 kB
Writeback: 4 kB
AnonPages: 83716 kB
Mapped: 108916 kB
Shmem: 18044 kB
KReclaimable: 285288 kB
Slab: 382860 kB
SReclaimable: 285288 kB
SUnreclaim: 97572 kB
KernelStack: 4160 kB
PageTables: 3004 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 376036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430448 MiB
End job on nodeC016 at 2025-07-11 13:40:29