runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59798 MiB free)
memory of node 1: 64465 MiB (63724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512896-1751211346/watcher-4512896-1751211346 -o /tmp/evaluation-result-4512896-1751211346/solver-4512896-1751211346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751207747-27805 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1877401158 HOME/instance-4512896-1751211346.opb
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
solver pid=28225, runsolver pid=28222
Current StackSize limit: 8192 KiB
[startup+0.100037 s]*
/proc/loadavg: 4.86 4.80 4.88 5/266 28227
/proc/meminfo: memFree=126456508/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=104388 memory=33256 CPUtime=0.12 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 7457 0 0 0 11 1 0 0 20 0 2 0 36812210 106893312 8314 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 26097 8314 672 633 0 9781 0
[pid=28225/tid=28227] ppid=28222 vsize=104388 memory=4026531960 CPUtime=0.02 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 856 0 0 0 2 0 0 0 20 0 2 0 36812210 106893312 8314 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 104388 KiB
Current children cumulated memory: 33256 KiB
[startup+0.205886 s]*
/proc/loadavg: 4.86 4.80 4.88 6/266 28227
/proc/meminfo: memFree=126448444/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=111528 memory=40424 CPUtime=0.23 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 9235 0 0 0 22 1 0 0 20 0 2 0 36812210 114204672 10106 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 27882 10106 672 633 0 11566 0
[pid=28225/tid=28227] ppid=28222 vsize=111528 memory=664958721904869660 CPUtime=0.03 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 856 0 0 0 3 0 0 0 20 0 2 0 36812210 114204672 10106 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 111528 KiB
Current children cumulated memory: 40424 KiB
[startup+0.305874 s]*
/proc/loadavg: 4.86 4.80 4.88 5/266 28227
/proc/meminfo: memFree=126448444/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=111660 memory=40552 CPUtime=0.34 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) S 28222 28225 27792 0 -1 4194304 9262 0 0 0 33 1 0 0 20 0 2 0 36812210 114339840 10138 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 27915 10138 672 633 0 11599 0
[pid=28225/tid=28227] ppid=28222 vsize=111660 memory=-7241082029146936164 CPUtime=0.03 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 856 0 0 0 3 0 0 0 20 0 2 0 36812210 114339840 10138 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 111660 KiB
Current children cumulated memory: 40552 KiB
[startup+0.700194 s]
/proc/loadavg: 4.86 4.80 4.88 5/266 28227
/proc/meminfo: memFree=126448444/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=111792 memory=40680 CPUtime=0.92 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 9308 0 0 0 90 2 0 0 20 0 2 0 36812210 114475008 10170 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 27948 10170 672 633 0 11632 0
[pid=28225/tid=28227] ppid=28222 vsize=111792 memory=17408 CPUtime=0.23 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 856 0 0 0 23 0 0 0 20 0 2 0 36812210 114475008 10170 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 111792 KiB
Current children cumulated memory: 40680 KiB
[startup+1.50019 s]
/proc/loadavg: 4.86 4.80 4.88 5/266 28227
/proc/meminfo: memFree=126448444/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=112084 memory=40928 CPUtime=1.88 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 14388 0 0 0 186 2 0 0 20 0 2 0 36812210 114774016 10232 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28021 10232 672 633 0 11705 0
[pid=28225/tid=28227] ppid=28222 vsize=112084 memory=17408 CPUtime=0.4 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 1077 0 0 0 40 0 0 0 20 0 2 0 36812210 114774016 10232 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 112084 KiB
Current children cumulated memory: 40928 KiB
[startup+3.10566 s]
/proc/loadavg: 4.79 4.79 4.87 6/266 28227
/proc/meminfo: memFree=126448468/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=112348 memory=41184 CPUtime=4.18 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 19333 0 0 0 415 3 0 0 20 0 2 0 36812210 115044352 10296 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28087 10296 672 633 0 11771 0
[pid=28225/tid=28227] ppid=28222 vsize=112348 memory=41056 CPUtime=1.1 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 1098 0 0 0 109 1 0 0 20 0 2 0 36812210 115044352 10296 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 112348 KiB
Current children cumulated memory: 41184 KiB
[startup+6.30018 s]
/proc/loadavg: 4.79 4.79 4.87 6/266 28227
/proc/meminfo: memFree=126448472/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=112744 memory=41696 CPUtime=8.41 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 26816 0 0 0 837 4 0 0 20 0 2 0 36812210 115449856 10424 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28186 10424 672 633 0 11870 0
[pid=28225/tid=28227] ppid=28222 vsize=112744 memory=17408 CPUtime=2.15 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 1111 0 0 0 214 1 0 0 20 0 2 0 36812210 115449856 10424 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 112744 KiB
Current children cumulated memory: 41696 KiB
[startup+12.7002 s]
/proc/loadavg: 4.75 4.78 4.87 6/261 28235
/proc/meminfo: memFree=126447496/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=113120 memory=42040 CPUtime=17.46 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 209683 0 0 0 1716 30 0 0 20 0 2 0 36812210 115834880 10510 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28280 10510 672 633 0 11964 0
[pid=28225/tid=28227] ppid=28222 vsize=113120 memory=42040 CPUtime=4.85 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 1673 0 0 0 483 2 0 0 20 0 2 0 36812210 115834880 10510 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 17.46 s
Current children cumulated vsize: 113120 KiB
Current children cumulated memory: 42040 KiB
[startup+25.5002 s]
/proc/loadavg: 5.02 4.84 4.89 7/266 28273
/proc/meminfo: memFree=126429368/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=113148 memory=42092 CPUtime=36.42 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 391378 0 0 0 3580 62 0 0 20 0 2 0 36812210 115863552 10523 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28287 10523 672 633 0 11971 0
[pid=28225/tid=28227] ppid=28222 vsize=113280 memory=14848 CPUtime=11.11 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 2111 0 0 0 1107 4 0 0 20 0 2 0 36812210 115998720 10523 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 36.42 s
Current children cumulated vsize: 113148 KiB
Current children cumulated memory: 42092 KiB
[startup+51.1056 s]
/proc/loadavg: 5.34 4.93 4.92 7/267 28275
/proc/meminfo: memFree=126429116/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=114084 memory=43052 CPUtime=74.75 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 586381 0 0 0 7377 98 0 0 20 0 2 0 36812210 116822016 10763 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28521 10763 672 633 0 12205 0
[pid=28225/tid=28227] ppid=28222 vsize=114084 memory=42924 CPUtime=24.01 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 3920 0 0 0 2394 7 0 0 20 0 2 0 36812210 116822016 10763 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 74.75 s
Current children cumulated vsize: 114084 KiB
Current children cumulated memory: 43052 KiB
[startup+102.3 s]
/proc/loadavg: 5.28 4.99 4.94 5/268 28279
/proc/meminfo: memFree=126428728/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=114584 memory=43392 CPUtime=148.99 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 3604130 0 0 0 14315 584 0 0 20 0 2 0 36812210 117334016 10848 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28646 10848 672 633 0 12330 0
[pid=28225/tid=28227] ppid=28222 vsize=114584 memory=43156 CPUtime=47.44 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 4391 0 0 0 4730 14 0 0 20 0 2 0 36812210 117334016 10848 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 148.99 s
Current children cumulated vsize: 114584 KiB
Current children cumulated memory: 43392 KiB
[startup+162.3 s]
/proc/loadavg: 5.52 5.11 4.99 7/268 28281
/proc/meminfo: memFree=126427512/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=114780 memory=43724 CPUtime=235.35 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 7510302 0 0 0 22322 1213 0 0 20 0 2 0 36812210 117534720 10899 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28695 10899 672 633 0 12379 0
[pid=28225/tid=28227] ppid=28222 vsize=114780 memory=42860 CPUtime=74.24 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 4969 0 0 0 7400 24 0 0 20 0 2 0 36812210 117534720 10931 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 235.35 s
Current children cumulated vsize: 114780 KiB
Current children cumulated memory: 43724 KiB
[startup+222.3 s]
/proc/loadavg: 5.59 5.20 5.03 6/268 28285
/proc/meminfo: memFree=126414604/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=115580 memory=44468 CPUtime=324.98 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 8143467 0 0 0 31170 1328 0 0 20 0 2 0 36812210 118353920 11117 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28895 11117 672 633 0 12579 0
[pid=28225/tid=28227] ppid=28222 vsize=115580 memory=43200 CPUtime=104.31 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 4970 0 0 0 10398 33 0 0 20 0 2 0 36812210 118353920 11117 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 324.98 s
Current children cumulated vsize: 115580 KiB
Current children cumulated memory: 44468 KiB
[startup+282.3 s]
/proc/loadavg: 5.78 5.32 5.08 7/268 28287
/proc/meminfo: memFree=107713152/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=115696 memory=44560 CPUtime=411.97 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 11752176 0 0 0 39286 1911 0 0 20 0 2 0 36812210 118472704 11140 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 28924 11140 672 633 0 12608 0
[pid=28225/tid=28227] ppid=28222 vsize=115696 memory=44476 CPUtime=131.72 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 6343 0 0 0 13130 42 0 0 20 0 2 0 36812210 118472704 11140 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 411.97 s
Current children cumulated vsize: 115696 KiB
Current children cumulated memory: 44560 KiB
################
# More data... #
################
/proc/meminfo: memFree=129519292/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118640 memory=48896 CPUtime=2636.07 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 62853124 0 0 0 252953 10654 0 0 20 0 2 0 36812210 121487360 12224 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29660 12224 672 633 0 13344 0
[pid=28225/tid=28227] ppid=28222 vsize=118640 memory=48896 CPUtime=866.88 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 14274 0 0 0 86439 249 0 0 20 0 2 0 36812210 121487360 12224 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 2636.07 s
Current children cumulated vsize: 118640 KiB
Current children cumulated memory: 48896 KiB
[startup+1842.3 s]
/proc/loadavg: 5.82 6.12 6.00 7/266 28463
/proc/meminfo: memFree=129528816/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118640 memory=48908 CPUtime=2726.94 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 62856927 0 0 0 262020 10674 0 0 20 0 2 0 36812210 121487360 12227 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29660 12227 672 633 0 13344 0
[pid=28225/tid=28227] ppid=28222 vsize=118640 memory=48896 CPUtime=898.19 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 14322 0 0 0 89561 258 0 0 20 0 2 0 36812210 121487360 12227 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 2726.94 s
Current children cumulated vsize: 118640 KiB
Current children cumulated memory: 48908 KiB
[startup+1902.3 s]
/proc/loadavg: 6.05 6.11 6.01 8/266 28467
/proc/meminfo: memFree=129527648/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=117804 memory=48236 CPUtime=2816.06 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 65297471 0 0 0 270531 11075 0 0 20 0 2 0 36812210 120631296 12059 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29451 12059 672 633 0 13135 0
[pid=28225/tid=28227] ppid=28222 vsize=117804 memory=48896 CPUtime=927.79 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 14473 0 0 0 92512 267 0 0 20 0 2 0 36812210 120631296 12059 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 2816.06 s
Current children cumulated vsize: 117804 KiB
Current children cumulated memory: 48236 KiB
[startup+1962.3 s]
/proc/loadavg: 6.49 6.23 6.06 7/265 28469
/proc/meminfo: memFree=129529088/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118020 memory=48452 CPUtime=2904.37 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 68949786 0 0 0 278757 11680 0 0 20 0 2 0 36812210 120852480 12113 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29505 12113 672 633 0 13189 0
[pid=28225/tid=28227] ppid=28222 vsize=118020 memory=48572 CPUtime=956.53 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 14659 0 0 0 95379 274 0 0 20 0 2 0 36812210 120852480 12113 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 2904.37 s
Current children cumulated vsize: 118020 KiB
Current children cumulated memory: 48452 KiB
[startup+2022.3 s]
/proc/loadavg: 6.20 6.20 6.06 8/266 28474
/proc/meminfo: memFree=129522836/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118128 memory=48520 CPUtime=2992.59 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 72512517 0 0 0 286978 12281 0 0 20 0 2 0 36812210 120963072 12130 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29532 12130 672 633 0 13216 0
[pid=28225/tid=28227] ppid=28222 vsize=118128 memory=14848 CPUtime=985.22 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 14698 0 0 0 98239 283 0 0 20 0 2 0 36812210 120963072 12130 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 2992.59 s
Current children cumulated vsize: 118128 KiB
Current children cumulated memory: 48520 KiB
[startup+2082.3 s]
/proc/loadavg: 6.51 6.28 6.09 7/266 28476
/proc/meminfo: memFree=129523200/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118448 memory=48668 CPUtime=3081.02 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 76230643 0 0 0 295193 12909 0 0 20 0 2 0 36812210 121290752 12167 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29612 12167 672 633 0 13296 0
[pid=28225/tid=28227] ppid=28222 vsize=118448 memory=48596 CPUtime=1014.09 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 14746 0 0 0 101119 290 0 0 20 0 2 0 36812210 121290752 12167 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3081.02 s
Current children cumulated vsize: 118448 KiB
Current children cumulated memory: 48668 KiB
[startup+2142.3 s]
/proc/loadavg: 6.62 6.34 6.12 9/266 28480
/proc/meminfo: memFree=129522872/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118472 memory=48692 CPUtime=3169.63 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 79926296 0 0 0 303428 13535 0 0 20 0 2 0 36812210 121315328 12173 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29618 12173 672 633 0 13302 0
[pid=28225/tid=28227] ppid=28222 vsize=118472 memory=48596 CPUtime=1043.13 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 15036 0 0 0 104014 299 0 0 20 0 2 0 36812210 121315328 12173 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3169.63 s
Current children cumulated vsize: 118472 KiB
Current children cumulated memory: 48692 KiB
[startup+2202.3 s]
/proc/loadavg: 6.53 6.36 6.15 6/266 28482
/proc/meminfo: memFree=129522936/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118520 memory=48744 CPUtime=3258.51 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 83545521 0 0 0 311717 14134 0 0 20 0 2 0 36812210 121364480 12186 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29630 12186 672 633 0 13314 0
[pid=28225/tid=28227] ppid=28222 vsize=118520 memory=48676 CPUtime=1072.49 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 15280 0 0 0 106942 307 0 0 20 0 2 0 36812210 121364480 12186 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3258.51 s
Current children cumulated vsize: 118520 KiB
Current children cumulated memory: 48744 KiB
[startup+2262.3 s]
/proc/loadavg: 6.17 6.28 6.13 8/267 28485
/proc/meminfo: memFree=129528380/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=119120 memory=49352 CPUtime=3347.1 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 87099598 0 0 0 319971 14739 0 0 20 0 2 0 36812210 121978880 12338 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29780 12338 672 633 0 13464 0
[pid=28225/tid=28227] ppid=28222 vsize=119120 memory=48844 CPUtime=1101.52 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 15323 0 0 0 109840 312 0 0 20 0 2 0 36812210 121978880 12338 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3347.1 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 49352 KiB
[startup+2322.3 s]
/proc/loadavg: 6.35 6.30 6.14 8/268 28533
/proc/meminfo: memFree=129567640/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118652 memory=48872 CPUtime=3435.58 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 90663735 0 0 0 328216 15342 0 0 20 0 2 0 36812210 121499648 12218 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29663 12218 672 633 0 13347 0
[pid=28225/tid=28227] ppid=28222 vsize=118652 memory=49440 CPUtime=1130.48 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 15364 0 0 0 112728 320 0 0 20 0 2 0 36812210 121499648 12218 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3435.58 s
Current children cumulated vsize: 118652 KiB
Current children cumulated memory: 48872 KiB
[startup+2382.3 s]
/proc/loadavg: 6.58 6.37 6.18 8/267 28534
/proc/meminfo: memFree=129562688/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=118476 memory=48868 CPUtime=3524.39 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 94100255 0 0 0 336506 15933 0 0 20 0 2 0 36812210 121319424 12217 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29619 12217 672 633 0 13303 0
[pid=28225/tid=28227] ppid=28222 vsize=118476 memory=49564 CPUtime=1159.74 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) R 28222 28225 27792 0 -1 4194368 15414 0 0 0 115646 328 0 0 20 0 2 0 36812210 121319424 12217 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3524.39 s
Current children cumulated vsize: 118476 KiB
Current children cumulated memory: 48868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2433.4 s]
/proc/loadavg: 6.64 6.43 6.21 7/267 28536
/proc/meminfo: memFree=129559212/131249988 swapFree=33010684/33010684
[pid=28225] ppid=28222 vsize=119148 memory=49256 CPUtime=3600.06 cores=5,7
/proc/28225/stat : 28225 (pb_competition_) R 28222 28225 27792 0 -1 4194304 97113842 0 0 0 343562 16444 0 0 20 0 2 0 36812210 122007552 12282 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
/proc/28225/statm: 29787 12314 672 633 0 13471 0
[pid=28225/tid=28227] ppid=28222 vsize=119148 memory=23476 CPUtime=1184.7 cores=5,7
/proc/28225/task/28227/stat : 28227 (pb_competition_) S 28222 28225 27792 0 -1 4194368 15719 0 0 0 118135 335 0 0 20 0 2 0 36812210 122007552 12314 18446744073709551615 4198400 6788177 140722519754816 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 22388736 140722519759193 140722519759320 140722519759320 140722519764922 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 119148 KiB
Current children cumulated memory: 49256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2433.43 s]
# the end of solver process 28225 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3435.66 s, system=164.441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2433.43
CPU time (s): 3600.1
CPU user time (s): 3435.66
CPU system time (s): 164.441
CPU usage (%): 147.943
Max. virtual memory (cumulated for all children) (KiB): 119476
Max. memory (cumulated for all children) (KiB): 49780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3435.66
system time used= 164.441
maximum resident set size= 49892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97114246
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= 684490
involuntary context switches= 172736
# summary of solver processes directly reported to runsolver:
# pid: 28225
# total CPU time (s): 3600.1
# total CPU user time (s): 3435.66
# total CPU system time (s): 164.441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82986 second user time and 11.3449 second system time
The end
Begin job on nodeC020 at 2025-06-29 17:35:46
IDJOB=4512896
IDBENCH=162196
IDSOLVER=3347
FILE ID=nodeC020/4512896-1751211346
RUNJOBID= nodeC020-1751207747-27805
SLURM_JOB_ID= 9587638
Free space on /tmp= 432948 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-2.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512896-1751211346/watcher-4512896-1751211346 -o /tmp/evaluation-result-4512896-1751211346/solver-4512896-1751211346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751207747-27805 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1877401158 HOME/instance-4512896-1751211346.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 37b3a609918eb30d871bb851627bd55e
RANDOM SEED=1877401158
nodeC020 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.673
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.79
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.800
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.79
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 : 3601.067
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.79
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 : 3599.874
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.79
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.911
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.902
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.79
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 : 3638.161
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.79
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 : 3600.237
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 126487852 kB
MemAvailable: 126674500 kB
Buffers: 3280 kB
Cached: 993460 kB
SwapCached: 0 kB
Active: 3499824 kB
Inactive: 686160 kB
Active(anon): 3207300 kB
Inactive(anon): 0 kB
Active(file): 292524 kB
Inactive(file): 686160 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5600 kB
Writeback: 0 kB
AnonPages: 3191916 kB
Mapped: 110988 kB
Shmem: 18056 kB
KReclaimable: 94408 kB
Slab: 180408 kB
SReclaimable: 94408 kB
SUnreclaim: 86000 kB
KernelStack: 4304 kB
PageTables: 9228 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3549432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 393216 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC020 at 2025-06-29 18:16:20