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 (62763 MiB free)
memory of node 1: 64465 MiB (61897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515294-1751225280/watcher-4515294-1751225280 -o /tmp/evaluation-result-4515294-1751225280/solver-4515294-1751225280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751219748-30469 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:321063425 --competition_mode --input HOME/instance-4515294-1751225280.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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=32252, runsolver pid=32249
[startup+0.100073 s]*
/proc/loadavg: 8.02 8.08 8.05 8/255 32253
/proc/meminfo: memFree=127653224/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=24480 memory=20096 CPUtime=0.1 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 3716 0 0 0 9 1 0 0 20 0 1 0 38207174 25067520 5024 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 6120 5024 1504 2102 0 3660 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24480 KiB
Current children cumulated memory: 20096 KiB
[startup+0.213553 s]*
/proc/loadavg: 8.02 8.08 8.05 8/255 32253
/proc/meminfo: memFree=127653224/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=30124 memory=23808 CPUtime=0.21 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 4640 0 0 0 20 1 0 0 20 0 1 0 38207174 30846976 5952 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 7531 5952 1504 2102 0 5071 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30124 KiB
Current children cumulated memory: 23808 KiB
[startup+0.313443 s]*
/proc/loadavg: 8.02 8.08 8.05 8/255 32253
/proc/meminfo: memFree=127653224/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=30124 memory=23936 CPUtime=0.31 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 4641 0 0 0 30 1 0 0 20 0 1 0 38207174 30846976 5984 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 7531 5984 1536 2102 0 5071 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30124 KiB
Current children cumulated memory: 23936 KiB
[startup+0.70031 s]
/proc/loadavg: 8.02 8.08 8.05 8/255 32253
/proc/meminfo: memFree=127641632/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=66496 memory=58284 CPUtime=0.68 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 13534 0 0 0 65 3 0 0 20 0 1 0 38207174 68091904 14571 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 16624 14571 1600 2102 0 14164 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66496 KiB
Current children cumulated memory: 58284 KiB
[startup+1.50031 s]
/proc/loadavg: 8.02 8.08 8.05 8/255 32253
/proc/meminfo: memFree=127621344/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=68852 memory=60716 CPUtime=1.48 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 14123 0 0 0 145 3 0 0 20 0 1 0 38207174 70504448 15179 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 17213 15179 1600 2102 0 14753 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68852 KiB
Current children cumulated memory: 60716 KiB
[startup+3.11335 s]
/proc/loadavg: 8.02 8.08 8.05 8/255 32253
/proc/meminfo: memFree=127610016/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=74260 memory=69420 CPUtime=3.09 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 18085 0 0 0 305 4 0 0 20 0 1 0 38207174 76042240 17355 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 18565 17355 1952 2102 0 16105 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 69420 KiB
[startup+6.30031 s]
/proc/loadavg: 7.94 8.06 8.05 8/255 32253
/proc/meminfo: memFree=127594536/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=76316 memory=72636 CPUtime=6.27 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) R 32249 32252 30453 0 -1 4194304 18797 0 0 0 623 4 0 0 20 0 1 0 38207174 78147584 18159 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 19079 18159 1952 2102 0 16619 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76316 KiB
Current children cumulated memory: 72636 KiB
[startup+12.7002 s]
/proc/loadavg: 7.95 8.06 8.05 9/257 32255
/proc/meminfo: memFree=127323124/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=363624 memory=295364 CPUtime=18.13 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 104150 0 0 0 1794 19 0 0 20 0 3 0 38207174 372350976 73841 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 90906 73841 2144 2102 0 80517 0
[pid=32252/tid=32254] ppid=32249 vsize=363624 memory=14340 CPUtime=5.55 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 52185 0 0 0 548 7 0 0 20 0 3 0 38207884 372350976 73841 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=363624 memory=-8183424782881233602 CPUtime=5.49 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 32737 0 0 0 542 7 0 0 20 0 3 0 38207884 372350976 73841 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 18.13 s
Current children cumulated vsize: 363624 KiB
Current children cumulated memory: 295364 KiB
[startup+25.5003 s]
/proc/loadavg: 7.96 8.05 8.04 9/257 32255
/proc/meminfo: memFree=127257540/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=429300 memory=330088 CPUtime=43.55 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 177862 0 0 0 4329 26 0 0 20 0 3 0 38207174 439603200 82522 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 107325 82522 2144 2102 0 89838 0
[pid=32252/tid=32254] ppid=32249 vsize=429300 memory=320784 CPUtime=18.26 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 85250 0 0 0 1816 10 0 0 20 0 3 0 38207884 439603200 82522 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=429300 memory=19063 CPUtime=18.18 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 73068 0 0 0 1807 11 0 0 20 0 3 0 38207884 439603200 82522 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 43.55 s
Current children cumulated vsize: 429300 KiB
Current children cumulated memory: 330088 KiB
[startup+51.1054 s]
/proc/loadavg: 8.04 8.07 8.05 9/257 32256
/proc/meminfo: memFree=127210412/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=494968 memory=345684 CPUtime=94.42 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 217321 0 0 0 9411 31 0 0 20 0 3 0 38207174 506847232 86421 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 123742 86421 2144 2102 0 94424 0
[pid=32252/tid=32254] ppid=32249 vsize=494968 memory=332848 CPUtime=43.62 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 105445 0 0 0 4350 12 0 0 20 0 3 0 38207884 506847232 86421 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=494968 memory=0 CPUtime=43.59 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 92053 0 0 0 4346 13 0 0 20 0 3 0 38207884 506847232 86421 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 94.42 s
Current children cumulated vsize: 494968 KiB
Current children cumulated memory: 345684 KiB
[startup+102.3 s]
/proc/loadavg: 8.13 8.08 8.05 9/258 32262
/proc/meminfo: memFree=127141084/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=494968 memory=359908 CPUtime=196.14 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 276405 0 0 0 19576 38 0 0 20 0 3 0 38207174 506847232 89977 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 123742 89977 2144 2102 0 98395 0
[pid=32252/tid=32254] ppid=32249 vsize=494968 memory=14340 CPUtime=94.58 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 138816 0 0 0 9444 14 0 0 20 0 3 0 38207884 506847232 89977 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=494968 memory=-8183424782881233602 CPUtime=94.17 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 117604 0 0 0 9400 17 0 0 20 0 3 0 38207884 506847232 89977 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 196.14 s
Current children cumulated vsize: 494968 KiB
Current children cumulated memory: 359908 KiB
[startup+162.3 s]
/proc/loadavg: 8.05 8.07 8.05 9/259 32265
/proc/meminfo: memFree=127073964/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=494968 memory=369008 CPUtime=315.37 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 321366 0 0 0 31494 43 0 0 20 0 3 0 38207174 506847232 92252 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 123742 92252 2144 2102 0 100680 0
[pid=32252/tid=32254] ppid=32249 vsize=494968 memory=366192 CPUtime=154.37 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 169142 0 0 0 15420 17 0 0 20 0 3 0 38207884 506847232 92252 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=494968 memory=360676 CPUtime=153.46 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 131767 0 0 0 15327 19 0 0 20 0 3 0 38207884 506847232 92252 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 315.37 s
Current children cumulated vsize: 494968 KiB
Current children cumulated memory: 369008 KiB
[startup+222.3 s]
/proc/loadavg: 8.16 8.10 8.06 9/259 32267
/proc/meminfo: memFree=127081244/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=494968 memory=377468 CPUtime=434.59 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 383894 0 0 0 43411 48 0 0 20 0 3 0 38207174 506847232 94367 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 123742 94367 2144 2102 0 102818 0
[pid=32252/tid=32254] ppid=32249 vsize=494968 memory=376956 CPUtime=214.17 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 186493 0 0 0 21399 18 0 0 20 0 3 0 38207884 506847232 94367 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=494968 memory=17408 CPUtime=212.76 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 176856 0 0 0 21254 22 0 0 20 0 3 0 38207884 506847232 94367 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 434.59 s
Current children cumulated vsize: 494968 KiB
Current children cumulated memory: 377468 KiB
[startup+282.3 s]
/proc/loadavg: 8.11 8.09 8.06 9/259 32269
/proc/meminfo: memFree=127095460/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=494968 memory=377596 CPUtime=553.8 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 404196 0 0 0 55328 52 0 0 20 0 3 0 38207174 506847232 94399 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 123742 94399 2144 2102 0 102827 0
[pid=32252/tid=32254] ppid=32249 vsize=494968 memory=377596 CPUtime=273.85 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 204100 0 0 0 27366 19 0 0 20 0 3 0 38207884 506847232 94399 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=494968 memory=377596 CPUtime=272.1 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 179383 0 0 0 27187 23 0 0 20 0 3 0 38207884 506847232 94399 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 553.8 s
Current children cumulated vsize: 494968 KiB
################
# More data... #
################
Current children cumulated memory: 432188 KiB
[startup+1362.3 s]
/proc/loadavg: 8.24 8.10 8.03 9/259 34090
/proc/meminfo: memFree=126928728/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=443328 CPUtime=2699.73 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 684374 0 0 0 269841 132 0 0 20 0 3 0 38207174 573956096 110832 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 110832 2144 2102 0 114589 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=432188 CPUtime=1347.63 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 266638 0 0 0 134738 25 0 0 20 0 3 0 38207884 573956096 110832 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=14340 CPUtime=1343.42 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 396674 0 0 0 134258 84 0 0 20 0 3 0 38207884 573956096 110832 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 2699.73 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 443328 KiB
[startup+1422.3 s]
/proc/loadavg: 8.35 8.17 8.05 9/258 34092
/proc/meminfo: memFree=126921936/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=443456 CPUtime=2819 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 684393 0 0 0 281767 133 0 0 20 0 3 0 38207174 573956096 110864 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 110864 2144 2102 0 114589 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=432188 CPUtime=1407.04 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 266641 0 0 0 140679 25 0 0 20 0 3 0 38207884 573956096 110864 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=443456 CPUtime=1403.25 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 396687 0 0 0 140240 85 0 0 20 0 3 0 38207884 573956096 110864 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 2819 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 443456 KiB
[startup+1482.3 s]
/proc/loadavg: 8.18 8.15 8.05 9/258 34094
/proc/meminfo: memFree=126899892/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=444096 CPUtime=2938.27 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 685622 0 0 0 293693 134 0 0 20 0 3 0 38207174 573956096 111024 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 111024 2144 2102 0 114760 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=443456 CPUtime=1466.46 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 266647 0 0 0 146621 25 0 0 20 0 3 0 38207884 573956096 111024 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=443456 CPUtime=1463.08 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 397896 0 0 0 146223 85 0 0 20 0 3 0 38207884 573956096 111024 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 2938.27 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 444096 KiB
[startup+1542.3 s]
/proc/loadavg: 8.11 8.14 8.05 9/258 34096
/proc/meminfo: memFree=126922008/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=444224 CPUtime=3057.52 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 686338 0 0 0 305617 135 0 0 20 0 3 0 38207174 573956096 111056 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 111056 2144 2102 0 114792 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=7686721470264483783 CPUtime=1525.87 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267270 0 0 0 152562 25 0 0 20 0 3 0 38207884 573956096 111056 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=5632 CPUtime=1522.91 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 397984 0 0 0 152205 86 0 0 20 0 3 0 38207884 573956096 111056 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3057.52 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 444224 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.14 8.06 9/257 34098
/proc/meminfo: memFree=126906380/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=447040 CPUtime=3176.79 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 687050 0 0 0 317542 137 0 0 20 0 3 0 38207174 573956096 111760 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 111760 2144 2102 0 115500 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=444224 CPUtime=1585.29 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267271 0 0 0 158503 26 0 0 20 0 3 0 38207884 573956096 111760 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=14340 CPUtime=1582.74 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 398692 0 0 0 158187 87 0 0 20 0 3 0 38207884 573956096 111760 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3176.79 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 447040 KiB
[startup+1662.3 s]
/proc/loadavg: 8.10 8.13 8.06 9/257 34100
/proc/meminfo: memFree=126861672/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=447040 CPUtime=3296.06 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 690999 0 0 0 329468 138 0 0 20 0 3 0 38207174 573956096 111760 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 111760 2144 2102 0 115500 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=444224 CPUtime=1644.71 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267746 0 0 0 164445 26 0 0 20 0 3 0 38207884 573956096 111760 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=447040 CPUtime=1642.56 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 402147 0 0 0 164169 87 0 0 20 0 3 0 38207884 573956096 111760 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3296.06 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 447040 KiB
[startup+1722.3 s]
/proc/loadavg: 8.14 8.13 8.07 9/259 34106
/proc/meminfo: memFree=126864364/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=453056 CPUtime=3415.31 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 691950 0 0 0 341392 139 0 0 20 0 3 0 38207174 573956096 113264 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 113264 2144 2102 0 117026 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=444224 CPUtime=1704.12 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267901 0 0 0 170386 26 0 0 20 0 3 0 38207884 573956096 113264 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=447040 CPUtime=1702.39 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 402942 0 0 0 170151 88 0 0 20 0 3 0 38207884 573956096 113264 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3415.31 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 453056 KiB
[startup+1782.3 s]
/proc/loadavg: 8.02 8.09 8.06 10/259 34859
/proc/meminfo: memFree=127676388/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=453440 CPUtime=3534.56 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 692041 0 0 0 353315 141 0 0 20 0 3 0 38207174 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 113360 2144 2102 0 117062 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=453440 CPUtime=1763.52 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267906 0 0 0 176326 26 0 0 20 0 3 0 38207884 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=453440 CPUtime=1762.21 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 403027 0 0 0 176133 88 0 0 20 0 3 0 38207884 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3534.56 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 453440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.3 s]
/proc/loadavg: 8.09 8.10 8.06 9/259 34859
/proc/meminfo: memFree=127658124/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=453440 CPUtime=3600.16 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 692048 0 0 0 359874 142 0 0 20 0 3 0 38207174 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 113360 2144 2102 0 117062 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=453440 CPUtime=1796.2 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267907 0 0 0 179594 26 0 0 20 0 3 0 38207884 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=14340 CPUtime=1795.11 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 403030 0 0 0 179423 88 0 0 20 0 3 0 38207884 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 453440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1815.31 s]
# the end of solver process 32252 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.75 s, system=1.4243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1815.3 s]
/proc/loadavg: 8.09 8.10 8.06 9/259 34859
/proc/meminfo: memFree=127658124/131382112 swapFree=33010684/33010684
[pid=32252] ppid=32249 vsize=560504 memory=453440 CPUtime=3600.16 cores=4,6
/proc/32252/stat : 32252 (cp-sat-runner) S 32249 32252 30453 0 -1 4194304 692048 0 0 0 359874 142 0 0 20 0 3 0 38207174 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
/proc/32252/statm: 140126 113360 2144 2102 0 117062 0
[pid=32252/tid=32254] ppid=32249 vsize=560504 memory=453440 CPUtime=1796.2 cores=4,6
/proc/32252/task/32254/stat : 32254 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 267907 0 0 0 179594 26 0 0 20 0 3 0 38207884 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
[pid=32252/tid=32255] ppid=32249 vsize=560504 memory=14340 CPUtime=1795.11 cores=4,6
/proc/32252/task/32255/stat : 32255 (cp-sat-runner) R 32249 32252 30453 0 -1 4194368 403030 0 0 0 179423 88 0 0 20 0 3 0 38207884 573956096 113360 18446744073709551615 4198400 12805993 140728701383184 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 14385152 140728701384985 140728701385189 140728701385189 140728701390791 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 560504 KiB
Current children cumulated memory: 453440 KiB
Child status: 0
Real time (s): 1815.31
CPU time (s): 3600.18
CPU user time (s): 3598.75
CPU system time (s): 1.4243
CPU usage (%): 198.323
Max. virtual memory (cumulated for all children) (KiB): 560504
Max. memory (cumulated for all children) (KiB): 453440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.75
system time used= 1.4243
maximum resident set size= 453696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692054
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= 22364
involuntary context switches= 94987
# summary of solver processes directly reported to runsolver:
# pid: 32252
# total CPU time (s): 3600.18
# total CPU user time (s): 3598.75
# total CPU system time (s): 1.4243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.78163 second user time and 9.73145 second system time
The end
Begin job on nodeC007 at 2025-06-29 21:28:00
IDJOB=4515294
IDBENCH=164400
IDSOLVER=3320
FILE ID=nodeC007/4515294-1751225280
RUNJOBID= nodeC007-1751219748-30469
SLURM_JOB_ID= 9587673
Free space on /tmp= 432976 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515294-1751225280/watcher-4515294-1751225280 -o /tmp/evaluation-result-4515294-1751225280/solver-4515294-1751225280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751219748-30469 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:321063425 --competition_mode --input HOME/instance-4515294-1751225280.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=321063425
nodeC007 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 : 3591.741
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.68
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 : 3591.608
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.68
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 : 3591.609
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.68
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 : 3591.589
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.68
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 : 1197.248
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.68
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 : 3591.583
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.68
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 : 1197.204
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.68
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 : 3591.537
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127652380 kB
MemAvailable: 127683348 kB
Buffers: 3280 kB
Cached: 840636 kB
SwapCached: 0 kB
Active: 2516524 kB
Inactive: 595304 kB
Active(anon): 2285872 kB
Inactive(anon): 0 kB
Active(file): 230652 kB
Inactive(file): 595304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13572 kB
Writeback: 56 kB
AnonPages: 2270992 kB
Mapped: 128680 kB
Shmem: 17960 kB
KReclaimable: 89276 kB
Slab: 171504 kB
SReclaimable: 89276 kB
SUnreclaim: 82228 kB
KernelStack: 4112 kB
PageTables: 7448 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2685572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432956 MiB
End job on nodeC007 at 2025-06-29 21:58:16