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 (62251 MiB free)
memory of node 1: 64507 MiB (63501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542572-1753221348/watcher-4542572-1753221348 -o /tmp/evaluation-result-4542572-1753221348/solver-4542572-1753221348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753221348-164112 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542572-1753221348.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=164149, runsolver pid=164144
[startup+0.100065 s]*
/proc/loadavg: 1.03 1.59 2.76 5/262 164159
/proc/meminfo: memFree=128576000/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=133012 memory=98164 CPUtime=0.09 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 17461 0 0 0 6 3 0 0 20 0 1 0 237812657 136204288 24541 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 33253 24541 1120 6655 0 23488 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 133012 KiB
Current children cumulated memory: 98164 KiB
[startup+0.205582 s]*
/proc/loadavg: 1.03 1.59 2.76 4/262 164160
/proc/meminfo: memFree=128439420/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=195680 memory=160500 CPUtime=0.19 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 33028 0 0 0 14 5 0 0 20 0 1 0 237812657 200376320 40125 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 48920 40125 1120 6655 0 39155 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 195680 KiB
Current children cumulated memory: 160500 KiB
[startup+0.305436 s]*
/proc/loadavg: 1.03 1.59 2.76 5/266 164168
/proc/meminfo: memFree=128342920/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=195680 memory=160500 CPUtime=0.29 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 33028 0 0 0 24 5 0 0 20 0 1 0 237812657 200376320 40125 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 48920 40125 1120 6655 0 39155 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 195680 KiB
Current children cumulated memory: 160500 KiB
[startup+0.70019 s]
/proc/loadavg: 1.03 1.59 2.76 5/266 164168
/proc/meminfo: memFree=128230276/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=195680 memory=160500 CPUtime=0.68 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 33028 0 0 0 63 5 0 0 20 0 1 0 237812657 200376320 40125 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 48920 40125 1120 6655 0 39155 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195680 KiB
Current children cumulated memory: 160500 KiB
[startup+1.50018 s]
/proc/loadavg: 1.03 1.59 2.76 5/266 164168
/proc/meminfo: memFree=127560564/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=195680 memory=160500 CPUtime=1.47 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 33028 0 0 0 142 5 0 0 20 0 1 0 237812657 200376320 40125 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 48920 40125 1120 6655 0 39155 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 195680 KiB
Current children cumulated memory: 160500 KiB
[startup+3.10543 s]
/proc/loadavg: 1.03 1.59 2.76 5/266 164168
/proc/meminfo: memFree=126854648/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=195680 memory=160500 CPUtime=3.07 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 33040 0 0 0 302 5 0 0 20 0 1 0 237812657 200376320 40125 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 48920 40125 1120 6655 0 39155 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 195680 KiB
Current children cumulated memory: 160500 KiB
[startup+6.30019 s]
/proc/loadavg: 1.27 1.63 2.76 5/266 164168
/proc/meminfo: memFree=126855072/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=195680 memory=160500 CPUtime=6.26 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 33052 0 0 0 621 5 0 0 20 0 1 0 237812657 200376320 40125 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 48920 40125 1120 6655 0 39155 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 195680 KiB
Current children cumulated memory: 160500 KiB
[startup+12.7002 s]
/proc/loadavg: 1.49 1.67 2.77 6/270 164172
/proc/meminfo: memFree=125016224/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=592436 memory=437232 CPUtime=12.64 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 105423 0 0 0 1246 18 0 0 20 0 2 0 237812657 606654464 109308 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 148109 109308 2848 6655 0 121992 0
[pid=164149/tid=164170] ppid=164144 vsize=592436 memory=317924 CPUtime=0 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) S 164144 164149 164099 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237813677 606654464 109308 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 592436 KiB
Current children cumulated memory: 437232 KiB
[startup+25.5002 s]
/proc/loadavg: 2.35 1.85 2.81 7/270 164172
/proc/meminfo: memFree=123045320/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1141676 memory=956064 CPUtime=30.9 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 267181 0 0 0 3047 43 0 0 20 0 2 0 237812657 1169076224 239016 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 285419 239016 3360 6655 0 274678 0
[pid=164149/tid=164170] ppid=164144 vsize=1141676 memory=505312 CPUtime=5.92 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 46001 0 0 0 585 7 0 0 20 0 2 0 237813677 1169076224 239016 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 30.9 s
Current children cumulated vsize: 1141676 KiB
Current children cumulated memory: 956064 KiB
[startup+51.1061 s]
/proc/loadavg: 3.85 2.25 2.92 7/269 164219
/proc/meminfo: memFree=121552000/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1230388 memory=1057848 CPUtime=81.74 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 367809 0 0 0 8116 58 0 0 20 0 2 0 237812657 1259917312 264462 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 307597 264462 3392 6655 0 296856 0
[pid=164149/tid=164170] ppid=164144 vsize=1230388 memory=1057720 CPUtime=31.25 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 77256 0 0 0 3116 9 0 0 20 0 2 0 237813677 1259917312 264462 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 81.74 s
Current children cumulated vsize: 1230388 KiB
Current children cumulated memory: 1057848 KiB
[startup+102.3 s]
/proc/loadavg: 5.69 3.00 3.14 8/270 164220
/proc/meminfo: memFree=120757732/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1871868 memory=1732028 CPUtime=183.27 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 496022 0 0 0 18238 89 0 0 20 0 2 0 237812657 1916792832 433007 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 467967 433007 3392 6655 0 457226 0
[pid=164149/tid=164170] ppid=164144 vsize=1871868 memory=16532 CPUtime=81.81 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) S 164144 164149 164099 0 -1 4194368 117112 0 0 0 8168 13 0 0 20 0 2 0 237813677 1916792832 433007 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 183.27 s
Current children cumulated vsize: 1871868 KiB
Current children cumulated memory: 1732028 KiB
[startup+162.3 s]
/proc/loadavg: 6.40 3.69 3.37 8/269 164269
/proc/meminfo: memFree=120505048/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=2002940 memory=1883152 CPUtime=302.36 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 699230 0 0 0 30108 128 0 0 20 0 2 0 237812657 2051010560 470788 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 500735 470788 3392 6655 0 482731 0
[pid=164149/tid=164170] ppid=164144 vsize=2002940 memory=1883152 CPUtime=141.09 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 255599 0 0 0 14063 46 0 0 20 0 2 0 237813677 2051010560 470788 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 302.36 s
Current children cumulated vsize: 2002940 KiB
Current children cumulated memory: 1883152 KiB
[startup+222.3 s]
/proc/loadavg: 6.84 4.31 3.60 8/268 164276
/proc/meminfo: memFree=119153064/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=2002940 memory=1888528 CPUtime=421.48 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 780088 0 0 0 42012 136 0 0 20 0 2 0 237812657 2051010560 472132 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 500735 472132 3392 6655 0 483723 0
[pid=164149/tid=164170] ppid=164144 vsize=2002940 memory=1888528 CPUtime=200.4 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 294041 0 0 0 19990 50 0 0 20 0 2 0 237813677 2051010560 472132 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 421.48 s
Current children cumulated vsize: 2002940 KiB
Current children cumulated memory: 1888528 KiB
[startup+282.3 s]
/proc/loadavg: 6.91 4.80 3.82 8/269 164290
/proc/meminfo: memFree=119524936/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1346484 memory=1261472 CPUtime=532.56 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 858272 0 0 0 53115 141 0 0 20 0 2 0 237812657 1378799616 315368 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 336621 315368 3392 6655 0 319609 0
[pid=164149/tid=164170] ppid=164144 vsize=1346484 memory=1888528 CPUtime=252.77 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 306948 0 0 0 25227 50 0 0 20 0 2 0 237813677 1378799616 315368 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 532.56 s
Current children cumulated vsize: 1346484 KiB
Current children cumulated memory: 1261472 KiB
[startup+342.3 s]
/proc/loadavg: 6.50 5.08 3.98 7/269 164308
/proc/meminfo: memFree=119352556/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1401932 memory=1318196 CPUtime=651.69 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 1097850 0 0 0 64950 219 0 0 20 0 2 0 237812657 1435578368 329549 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 350483 329549 3424 6655 0 333471 0
[pid=164149/tid=164170] ppid=164144 vsize=1401932 memory=1888528 CPUtime=312.12 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 341244 0 0 0 31159 53 0 0 20 0 2 0 237813677 1435578368 329549 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 651.69 s
Current children cumulated vsize: 1401932 KiB
Current children cumulated memory: 1318196 KiB
[startup+402.3 s]
################
# More data... #
################
Current children cumulated CPU time: 1588.41 s
Current children cumulated vsize: 1644768 KiB
Current children cumulated memory: 1600148 KiB
[startup+882.3 s]
/proc/loadavg: 7.04 6.94 5.45 9/267 164430
/proc/meminfo: memFree=114187044/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1763264 memory=1718644 CPUtime=1702.28 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 2204433 0 0 0 169632 596 0 0 20 0 2 0 237812657 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 440816 429661 3424 6655 0 430939 0
[pid=164149/tid=164170] ppid=164144 vsize=1763264 memory=1718636 CPUtime=830.38 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 608672 0 0 0 82843 195 0 0 20 0 2 0 237813677 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 1702.28 s
Current children cumulated vsize: 1763264 KiB
Current children cumulated memory: 1718644 KiB
[startup+942.3 s]
/proc/loadavg: 7.01 6.95 5.55 8/267 164432
/proc/meminfo: memFree=113542956/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1763264 memory=1718644 CPUtime=1819.34 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 2267385 0 0 0 181261 673 0 0 20 0 2 0 237812657 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 440816 429661 3424 6655 0 430939 0
[pid=164149/tid=164170] ppid=164144 vsize=1763264 memory=14536 CPUtime=887.73 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 651348 0 0 0 88503 270 0 0 20 0 2 0 237813677 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 1819.34 s
Current children cumulated vsize: 1763264 KiB
Current children cumulated memory: 1718644 KiB
[startup+1002.3 s]
/proc/loadavg: 7.05 6.98 5.65 9/267 164434
/proc/meminfo: memFree=113008396/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1763264 memory=1718644 CPUtime=1937.27 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 2311958 0 0 0 192980 747 0 0 20 0 2 0 237812657 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 440816 429661 3424 6655 0 430939 0
[pid=164149/tid=164170] ppid=164144 vsize=1763264 memory=1718644 CPUtime=945.85 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 684585 0 0 0 94243 342 0 0 20 0 2 0 237813677 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 1937.27 s
Current children cumulated vsize: 1763264 KiB
Current children cumulated memory: 1718644 KiB
[startup+1062.3 s]
/proc/loadavg: 7.14 7.02 5.75 8/267 164436
/proc/meminfo: memFree=113653352/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1763264 memory=1718644 CPUtime=2055.45 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 2320039 0 0 0 204727 818 0 0 20 0 2 0 237812657 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 440816 429661 3424 6655 0 430939 0
[pid=164149/tid=164170] ppid=164144 vsize=1763264 memory=1718644 CPUtime=1004.22 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 691039 0 0 0 100009 413 0 0 20 0 2 0 237813677 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 2055.45 s
Current children cumulated vsize: 1763264 KiB
Current children cumulated memory: 1718644 KiB
[startup+1117.22 s]
# the end of solver process 164149 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2123.07 s, system=8.83116 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 7.10 7.02 5.77 9/267 164436
/proc/meminfo: memFree=113656328/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1763264 memory=1718644 CPUtime=2081.07 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) R 164144 164149 164099 0 -1 4194304 2322945 0 0 0 207278 829 0 0 20 0 2 0 237812657 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 440816 429661 3424 6655 0 430939 0
[pid=164149/tid=164170] ppid=164144 vsize=1763264 memory=1718644 CPUtime=1016.99 cores=5,7
/proc/164149/task/164170/stat : 164170 (LSIPExact) R 164144 164149 164099 0 -1 4194368 693477 0 0 0 101275 424 0 0 20 0 2 0 237813677 1805582336 429661 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
Current children cumulated CPU time: 2081.07 s
Current children cumulated vsize: 1763264 KiB
Current children cumulated memory: 1718644 KiB
[startup+1100.8 s]
/proc/loadavg: 6.34 6.85 5.75 5/268 164441
/proc/meminfo: memFree=109182144/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1448160 memory=1336748 CPUtime=2099.02 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) S 164144 164149 164099 0 -1 4194304 2336580 0 0 0 209060 842 0 0 20 0 1 0 237812657 1482915840 334187 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 362040 334187 3456 6655 0 352172 0
[pid=164437] ppid=164149 vsize=919404 memory=879856 CPUtime=16.48 cores=5,7
/proc/164437/stat : 164437 (Exact) R 164149 164437 164437 0 -1 4194304 129266 0 0 0 1617 31 0 0 20 0 1 0 237921083 941469696 219964 18446744073709551615 4198400 8335837 140721339946192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 23138304 140721339955385 140721339955739 140721339955739 140721339961295 0
/proc/164437/statm: 229851 219964 1088 1011 0 228618 0
Current children cumulated CPU time: 2115.5 s
Current children cumulated vsize: 2367564 KiB
Current children cumulated memory: 2216604 KiB
[startup+1107.2 s]
/proc/loadavg: 6.23 6.82 5.74 5/268 164441
/proc/meminfo: memFree=106719584/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1448160 memory=1336748 CPUtime=2099.02 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) S 164144 164149 164099 0 -1 4194304 2336580 0 0 0 209060 842 0 0 20 0 1 0 237812657 1482915840 334187 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 362040 334187 3456 6655 0 352172 0
[pid=164437] ppid=164149 vsize=931436 memory=900208 CPUtime=22.86 cores=5,7
/proc/164437/stat : 164437 (Exact) R 164149 164437 164437 0 -1 4194304 132369 0 0 0 2254 32 0 0 20 0 1 0 237921083 953790464 225052 18446744073709551615 4198400 8335837 140721339946192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 23138304 140721339955385 140721339955739 140721339955739 140721339961295 0
/proc/164437/statm: 232859 225052 1088 1011 0 231626 0
Current children cumulated CPU time: 2121.88 s
Current children cumulated vsize: 2379596 KiB
Current children cumulated memory: 2236956 KiB
[startup+1113.6 s]
/proc/loadavg: 6.05 6.77 5.73 5/268 164442
/proc/meminfo: memFree=104669728/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1448160 memory=1336748 CPUtime=2099.02 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) S 164144 164149 164099 0 -1 4194304 2336580 0 0 0 209060 842 0 0 20 0 1 0 237812657 1482915840 334187 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 362040 334187 3456 6655 0 352172 0
[pid=164437] ppid=164149 vsize=943564 memory=918444 CPUtime=29.25 cores=5,7
/proc/164437/stat : 164437 (Exact) R 164149 164437 164437 0 -1 4194304 135503 0 0 0 2892 33 0 0 20 0 1 0 237921083 966209536 229611 18446744073709551615 4198400 8335837 140721339946192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 23138304 140721339955385 140721339955739 140721339955739 140721339961295 0
/proc/164437/statm: 235891 229611 1088 1011 0 234658 0
Current children cumulated CPU time: 2128.27 s
Current children cumulated vsize: 2391724 KiB
Current children cumulated memory: 2255192 KiB
[startup+1115.2 s]
/proc/loadavg: 5.89 6.73 5.72 5/268 164442
/proc/meminfo: memFree=104278820/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1448160 memory=1336748 CPUtime=2099.02 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) S 164144 164149 164099 0 -1 4194304 2336580 0 0 0 209060 842 0 0 20 0 1 0 237812657 1482915840 334187 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 362040 334187 3456 6655 0 352172 0
[pid=164437] ppid=164149 vsize=950224 memory=927196 CPUtime=30.85 cores=5,7
/proc/164437/stat : 164437 (Exact) R 164149 164437 164437 0 -1 4194304 136660 0 0 0 3052 33 0 0 20 0 1 0 237921083 973029376 231799 18446744073709551615 4198400 8335837 140721339946192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 23138304 140721339955385 140721339955739 140721339955739 140721339961295 0
/proc/164437/statm: 237556 231799 1088 1011 0 236323 0
Current children cumulated CPU time: 2129.87 s
Current children cumulated vsize: 2398384 KiB
Current children cumulated memory: 2263944 KiB
[startup+1116 s]*
/proc/loadavg: 5.89 6.73 5.72 5/268 164442
/proc/meminfo: memFree=104093348/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1448160 memory=1336748 CPUtime=2099.02 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) S 164144 164149 164099 0 -1 4194304 2336580 0 0 0 209060 842 0 0 20 0 1 0 237812657 1482915840 334187 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 362040 334187 3456 6655 0 352172 0
[pid=164437] ppid=164149 vsize=950224 memory=927196 CPUtime=31.65 cores=5,7
/proc/164437/stat : 164437 (Exact) R 164149 164437 164437 0 -1 4194304 136676 0 0 0 3132 33 0 0 20 0 1 0 237921083 973029376 231799 18446744073709551615 4198400 8335837 140721339946192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 23138304 140721339955385 140721339955739 140721339955739 140721339961295 0
/proc/164437/statm: 237556 231799 1088 1011 0 236323 0
Current children cumulated CPU time: 2130.67 s
Current children cumulated vsize: 2398384 KiB
Current children cumulated memory: 2263944 KiB
[startup+1116.8 s]
/proc/loadavg: 5.89 6.73 5.72 5/268 164442
/proc/meminfo: memFree=104093348/131250000 swapFree=33010416/33010684
[pid=164149] ppid=164144 vsize=1448160 memory=1336748 CPUtime=2099.02 cores=5,7
/proc/164149/stat : 164149 (LSIPExact) S 164144 164149 164099 0 -1 4194304 2336580 0 0 0 209060 842 0 0 20 0 1 0 237812657 1482915840 334187 18446744073709551615 93990034800640 93990062057041 140726242097824 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 93990070559880 93990070991488 93990079148032 140726242105688 140726242105864 140726242105864 140726242111468 0
/proc/164149/statm: 362040 334187 3456 6655 0 352172 0
[pid=164437] ppid=164149 vsize=793192 memory=780436 CPUtime=32.44 cores=5,7
/proc/164437/stat : 164437 (Exact) R 164149 164437 164437 0 -1 4194304 137877 0 0 0 3211 33 0 0 20 0 1 0 237921083 812228608 195109 18446744073709551615 4198400 8335837 140721339946192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 23138304 140721339955385 140721339955739 140721339955739 140721339961295 0
/proc/164437/statm: 198298 195109 1120 1011 0 197065 0
Current children cumulated CPU time: 2131.46 s
Current children cumulated vsize: 2241352 KiB
Current children cumulated memory: 2117184 KiB
[startup+1117.2 s]*
/proc/loadavg: 5.89 6.73 5.72 5/267 164442
/proc/meminfo: memFree=105458696/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1117.22
CPU time (s): 2131.9
CPU user time (s): 2123.07
CPU system time (s): 8.83116
CPU usage (%): 190.822
Max. virtual memory (cumulated for all children) (KiB): 2398912
Max. memory (cumulated for all children) (KiB): 2266592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2123.07
system time used= 8.83116
maximum resident set size= 1977960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2499173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 619
involuntary context switches= 25065
# summary of solver processes directly reported to runsolver:
# pid: 164149
# total CPU time (s): 2131.9
# total CPU user time (s): 2123.07
# total CPU system time (s): 8.83116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.29286 second user time and 5.50145 second system time
The end
Begin job on nodeC018 at 2025-07-22 23:55:48
IDJOB=4542572
IDBENCH=163937
IDSOLVER=3337
FILE ID=nodeC018/4542572-1753221348
RUNJOBID= nodeC018-1753221348-164112
SLURM_JOB_ID= 9687810
Free space on /tmp= 432984 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542572-1753221348/watcher-4542572-1753221348 -o /tmp/evaluation-result-4542572-1753221348/solver-4542572-1753221348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753221348-164112 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542572-1753221348.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708
RANDOM SEED=2106942666
nodeC018 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.843
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.66
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.820
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.66
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 : 3600.569
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.66
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.66
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.827
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.66
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 : 3700.000
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.66
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128772212 kB
MemAvailable: 129567412 kB
Buffers: 2128 kB
Cached: 1545908 kB
SwapCached: 28 kB
Active: 1155528 kB
Inactive: 467700 kB
Active(anon): 101148 kB
Inactive(anon): 284 kB
Active(file): 1054380 kB
Inactive(file): 467416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 197444 kB
Writeback: 0 kB
AnonPages: 77268 kB
Mapped: 108396 kB
Shmem: 26240 kB
KReclaimable: 224884 kB
Slab: 321000 kB
SReclaimable: 224884 kB
SUnreclaim: 96116 kB
KernelStack: 4096 kB
PageTables: 2880 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 349236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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= 432772 MiB
End job on nodeC018 at 2025-07-23 00:14:26