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 (62886 MiB free)
memory of node 1: 64465 MiB (60761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521693-1751575115/watcher-4521693-1751575115 -o /tmp/evaluation-result-4521693-1751575115/solver-4521693-1751575115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751575092-80961 --watchdog 3760 HOME/opbsolver HOME/instance-4521693-1751575115.opb 3600 31000 HOME HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=81332, runsolver pid=81329
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 3.29 3.86 4.00 4/267 81337
/proc/meminfo: memFree=126587024/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=58172 memory=46848 CPUtime=0.07 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 9542 0 0 0 6 1 0 0 20 0 1 0 73186047 59568128 11712 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 14543 11712 2400 2826 0 11155 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62364 KiB
Current children cumulated memory: 49792 KiB
[startup+0.205851 s]*
/proc/loadavg: 3.29 3.86 4.00 5/262 81340
/proc/meminfo: memFree=126546704/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=114304 memory=86192 CPUtime=0.17 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 19797 0 0 0 15 2 0 0 20 0 1 0 73186047 117047296 21548 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 28576 21548 2560 2826 0 25188 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 118496 KiB
Current children cumulated memory: 89136 KiB
[startup+0.305598 s]*
/proc/loadavg: 3.29 3.86 4.00 4/262 81347
/proc/meminfo: memFree=126537632/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=118020 memory=89776 CPUtime=0.27 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 20629 0 0 0 24 3 0 0 20 0 1 0 73186047 120852480 22444 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 29505 22444 2624 2826 0 26117 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 122212 KiB
Current children cumulated memory: 92720 KiB
[startup+0.700216 s]
/proc/loadavg: 3.29 3.86 4.00 4/262 81347
/proc/meminfo: memFree=126537788/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=123844 memory=95664 CPUtime=0.64 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 22080 0 0 0 61 3 0 0 20 0 1 0 73186047 126816256 23916 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 30961 23916 2656 2826 0 27573 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 128036 KiB
Current children cumulated memory: 98608 KiB
[startup+1.50019 s]
/proc/loadavg: 3.35 3.87 4.00 4/262 81354
/proc/meminfo: memFree=126537788/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=123844 memory=95664 CPUtime=1.44 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 22081 0 0 0 141 3 0 0 20 0 1 0 73186047 126816256 23916 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 30961 23916 2656 2826 0 27573 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 128036 KiB
Current children cumulated memory: 98608 KiB
[startup+3.10549 s]
/proc/loadavg: 3.35 3.87 4.00 5/267 81387
/proc/meminfo: memFree=126470192/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=141564 memory=111892 CPUtime=3.04 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 25687 0 0 0 300 4 0 0 20 0 1 0 73186047 144961536 27973 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 35391 27973 2656 2826 0 32003 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 145756 KiB
Current children cumulated memory: 114836 KiB
[startup+6.30018 s]
/proc/loadavg: 3.40 3.87 4.00 5/267 81387
/proc/meminfo: memFree=126430680/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=148564 memory=117780 CPUtime=6.22 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 27167 0 0 0 618 4 0 0 20 0 1 0 73186047 152129536 29445 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 37141 29445 2656 2826 0 33753 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 152756 KiB
Current children cumulated memory: 120724 KiB
[startup+12.7002 s]
/proc/loadavg: 3.45 3.87 4.00 5/267 81438
/proc/meminfo: memFree=126372824/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=193392 memory=160348 CPUtime=12.6 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 38753 0 0 0 1254 6 0 0 20 0 1 0 73186047 198033408 40087 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 48348 40087 2688 2826 0 44960 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 197584 KiB
Current children cumulated memory: 163292 KiB
[startup+25.5002 s]
/proc/loadavg: 3.53 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126264284/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=201496 memory=167900 CPUtime=25.36 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 40645 0 0 0 2530 6 0 0 20 0 1 0 73186047 206331904 41975 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 50374 41975 2688 2826 0 46986 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 205688 KiB
Current children cumulated memory: 170844 KiB
[startup+36.2557 s]
# the end of solver process 81332 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=35.999 s, system=0.091078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 3.53 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126264284/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=201496 memory=167900 CPUtime=25.46 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 40645 0 0 0 2540 6 0 0 20 0 1 0 73186047 206331904 41975 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 50374 41975 2688 2826 0 46986 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 205688 KiB
Current children cumulated memory: 170844 KiB
[startup+32.0002 s]*
/proc/loadavg: 3.60 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126214640/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=217928 memory=183260 CPUtime=31.85 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 44478 0 0 0 3178 7 0 0 20 0 1 0 73186047 223158272 45815 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 54482 45815 2688 2826 0 51094 0
Current children cumulated CPU time: 31.85 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 186204 KiB
[startup+33.6001 s]
/proc/loadavg: 3.60 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126198520/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=217928 memory=183388 CPUtime=33.44 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 44513 0 0 0 3337 7 0 0 20 0 1 0 73186047 223158272 45847 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 54482 45847 2688 2826 0 51094 0
Current children cumulated CPU time: 33.44 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 186332 KiB
[startup+35.2002 s]
/proc/loadavg: 3.60 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126198520/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=218872 memory=183388 CPUtime=35.04 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 44517 0 0 0 3497 7 0 0 20 0 1 0 73186047 224124928 45847 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 54718 45847 2688 2826 0 51330 0
Current children cumulated CPU time: 35.04 s
Current children cumulated vsize: 223064 KiB
Current children cumulated memory: 186332 KiB
[startup+36.0002 s]*
/proc/loadavg: 3.64 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126198528/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=220604 memory=185180 CPUtime=35.84 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 44970 0 0 0 3577 7 0 0 20 0 1 0 73186047 225898496 46295 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 55151 46295 2688 2826 0 51763 0
Current children cumulated CPU time: 35.84 s
Current children cumulated vsize: 224796 KiB
Current children cumulated memory: 188124 KiB
[startup+36.2002 s]
/proc/loadavg: 3.64 3.88 4.00 5/267 81438
/proc/meminfo: memFree=126198528/131249992 swapFree=33009392/33010684
[pid=81332] ppid=81329 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81332/stat : 81332 (opbsolver) S 81329 81332 80948 0 -1 4194304 260 235 0 0 0 0 0 0 20 0 1 0 73186046 4292608 736 18446744073709551615 94293860921344 94293861815877 140725359766304 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94293862054928 94293862102672 94293864873984 140725359769886 140725359770089 140725359770089 140725359775691 0
/proc/81332/statm: 1048 736 672 219 0 110 0
[pid=81336] ppid=81332 vsize=217440 memory=182192 CPUtime=36.03 cores=5,7
/proc/81336/stat : 81336 (pbcpreprocessor) R 81332 81332 80948 0 -1 4194304 44970 0 0 0 3596 7 0 0 20 0 1 0 73186047 222658560 45548 18446744073709551615 4198400 15773533 140733984751168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 17968456 18061744 26095616 140733984758084 140733984758238 140733984758238 140733984763845 0
/proc/81336/statm: 54360 45548 2688 2826 0 50972 0
Current children cumulated CPU time: 36.03 s
Current children cumulated vsize: 221632 KiB
Current children cumulated memory: 185136 KiB
Child status: 0
Real time (s): 36.2558
CPU time (s): 36.0901
CPU user time (s): 35.999
CPU system time (s): 0.091078
CPU usage (%): 99.5431
Max. virtual memory (cumulated for all children) (KiB): 224796
Max. memory (cumulated for all children) (KiB): 188124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.999
system time used= 0.091078
maximum resident set size= 185180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 393
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 81332
# total CPU time (s): 36.0901
# total CPU user time (s): 35.999
# total CPU system time (s): 0.091078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081509 second user time and 0.190493 second system time
The end
Begin job on nodeC035 at 2025-07-03 22:38:35
IDJOB=4521693
IDBENCH=178411
IDSOLVER=3374
FILE ID=nodeC035/4521693-1751575115
RUNJOBID= nodeC035-1751575092-80961
SLURM_JOB_ID= 9598802
Free space on /tmp= 432752 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521693-1751575115/watcher-4521693-1751575115 -o /tmp/evaluation-result-4521693-1751575115/solver-4521693-1751575115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751575092-80961 --watchdog 3760 HOME/opbsolver HOME/instance-4521693-1751575115.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0db82a785ca934c3491ed1e2c41fa4ed
RANDOM SEED=1008411175
nodeC035 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.744
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.51
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.724
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.51
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 : 3597.871
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.51
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 : 3659.007
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.51
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.832
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.51
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 : 3708.907
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.854
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.774
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126630776 kB
MemAvailable: 129148924 kB
Buffers: 664 kB
Cached: 3268992 kB
SwapCached: 332 kB
Active: 946280 kB
Inactive: 2968600 kB
Active(anon): 641864 kB
Inactive(anon): 21060 kB
Active(file): 304416 kB
Inactive(file): 2947540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62352 kB
Writeback: 24 kB
AnonPages: 648072 kB
Mapped: 125444 kB
Shmem: 17700 kB
KReclaimable: 210860 kB
Slab: 302116 kB
SReclaimable: 210860 kB
SUnreclaim: 91256 kB
KernelStack: 4176 kB
PageTables: 4376 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1019720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 131072 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432732 MiB
End job on nodeC035 at 2025-07-03 22:39:11