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: 64096 MiB (60218 MiB free)
memory of node 1: 64473 MiB (60888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460740-1722072128/watcher-4460740-1722072128 -o /tmp/evaluation-result-4460740-1722072128/solver-4460740-1722072128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360036 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460740-1722072128 --lp-cut-gomory=0 HOME/instance-4460740-1722072128.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=364552, runsolver pid=364549
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.17 4.20 4.18 4/265 364553
/proc/meminfo: memFree=124011216/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/364552/stat : 364552 (roundingsat) D 364549 364552 360024 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 43202727 38273024 646 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.208278 s]*
/proc/loadavg: 4.17 4.20 4.18 4/265 364553
/proc/meminfo: memFree=124010124/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/364552/stat : 364552 (roundingsat) D 364549 364552 360024 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 43202727 38273024 646 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.307953 s]*
/proc/loadavg: 4.17 4.20 4.18 4/265 364553
/proc/meminfo: memFree=124008768/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/364552/stat : 364552 (roundingsat) D 364549 364552 360024 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 43202727 38273024 646 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.700333 s]
/proc/loadavg: 4.17 4.20 4.18 4/265 364553
/proc/meminfo: memFree=124007008/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=50660 memory=16992 CPUtime=0.09 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 4107 0 0 0 8 1 0 0 20 0 1 0 43202727 51875840 4248 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 12665 4248 1352 992 0 4523 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50660 KiB
Current children cumulated memory: 16992 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.20 4.18 5/265 364553
/proc/meminfo: memFree=123951844/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=140228 memory=108700 CPUtime=0.87 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 15092 0 0 0 79 8 0 0 20 0 1 0 43202727 143593472 27175 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 35057 27175 1352 992 0 26915 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 140228 KiB
Current children cumulated memory: 108700 KiB
[startup+3.11412 s]
/proc/loadavg: 4.17 4.20 4.18 5/265 364553
/proc/meminfo: memFree=123745724/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=260960 memory=198928 CPUtime=2.48 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 22375 0 0 0 231 17 0 0 20 0 1 0 43202727 267223040 49732 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 65240 49732 1352 992 0 57098 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 260960 KiB
Current children cumulated memory: 198928 KiB
heavy processes:
[startup+6.30029 s]
/proc/loadavg: 4.16 4.20 4.18 5/265 364553
/proc/meminfo: memFree=123296588/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=732252 memory=658144 CPUtime=5.66 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 63128 0 0 0 462 104 0 0 20 0 1 0 43202727 749826048 164536 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 183063 164536 1750 992 0 174921 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 732252 KiB
Current children cumulated memory: 658144 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.19 4.18 5/265 364554
/proc/meminfo: memFree=123098212/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=843804 memory=734816 CPUtime=12.04 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 65015 0 0 0 1053 151 0 0 20 0 1 0 43202727 864055296 183704 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 210951 183704 1750 992 0 202809 0
Current children cumulated CPU time: 12.04 s
Current children cumulated vsize: 843804 KiB
Current children cumulated memory: 734816 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.20 4.18 5/265 364556
/proc/meminfo: memFree=122834964/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=925192 memory=853072 CPUtime=24.81 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 66597 0 0 0 2225 256 0 0 20 0 1 0 43202727 947396608 213268 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 231298 213268 1750 992 0 223156 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 925192 KiB
Current children cumulated memory: 853072 KiB
[startup+51.1138 s]
/proc/loadavg: 4.12 4.18 4.18 5/265 364560
/proc/meminfo: memFree=122577692/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=930312 memory=858072 CPUtime=50.38 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 66966 0 0 0 4779 259 0 0 20 0 1 0 43202727 952639488 214518 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 232578 214518 1750 992 0 224436 0
Current children cumulated CPU time: 50.38 s
Current children cumulated vsize: 930312 KiB
Current children cumulated memory: 858072 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.21 4.19 5/264 364569
/proc/meminfo: memFree=121641472/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=1161384 memory=1032892 CPUtime=101.45 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 89026 0 0 0 9569 576 0 0 20 0 1 0 43202727 1189257216 258223 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 290346 258223 1806 992 0 282204 0
Current children cumulated CPU time: 101.45 s
Current children cumulated vsize: 1161384 KiB
Current children cumulated memory: 1032892 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/256 364579
/proc/meminfo: memFree=120544224/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=1431048 memory=1166348 CPUtime=161.31 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 95021 0 0 0 15530 601 0 0 20 0 1 0 43202727 1465393152 291587 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 357762 291587 1838 992 0 349620 0
Current children cumulated CPU time: 161.31 s
Current children cumulated vsize: 1431048 KiB
Current children cumulated memory: 1166348 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/247 364976
/proc/meminfo: memFree=118798132/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=1784172 memory=1588424 CPUtime=221.19 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 96478 0 0 0 21439 680 0 0 20 0 1 0 43202727 1826992128 397106 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 446043 397106 1838 992 0 437901 0
Current children cumulated CPU time: 221.19 s
Current children cumulated vsize: 1784172 KiB
Current children cumulated memory: 1588424 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/247 364986
/proc/meminfo: memFree=117088192/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=2431328 memory=2105796 CPUtime=281.05 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 104871 0 0 0 27385 720 0 0 20 0 1 0 43202727 2489679872 526449 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 607832 526449 1838 992 0 599690 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 2431328 KiB
Current children cumulated memory: 2105796 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/247 364996
/proc/meminfo: memFree=115711584/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=2555888 memory=2415000 CPUtime=340.93 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 113955 0 0 0 33309 784 0 0 20 0 1 0 43202727 2617229312 603750 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 638972 603750 1838 992 0 630830 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 2555888 KiB
Current children cumulated memory: 2415000 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/249 365178
/proc/meminfo: memFree=114841648/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=2746280 memory=2605180 CPUtime=400.79 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 159696 0 0 0 39270 809 0 0 20 0 1 0 43202727 2812190720 651295 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 686570 651295 1838 992 0 678428 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 2746280 KiB
Current children cumulated memory: 2605180 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/249 365188
/proc/meminfo: memFree=114050764/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=3035376 memory=2894360 CPUtime=460.66 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 224884 0 0 0 45207 859 0 0 20 0 1 0 43202727 3108225024 723590 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
################
# More data... #
################
/proc/364552/statm: 3932292 3172468 1838 992 0 3924150 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 15729168 KiB
Current children cumulated memory: 12689872 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.19 3.49 5/237 366355
/proc/meminfo: memFree=91127472/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15771628 memory=12742316 CPUtime=2975.04 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1159613 0 0 0 293824 3680 0 0 20 0 1 0 43202727 16150147072 3185579 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3942907 3185579 1838 992 0 3934765 0
Current children cumulated CPU time: 2975.04 s
Current children cumulated vsize: 15771628 KiB
Current children cumulated memory: 12742316 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.17 3.46 5/237 366365
/proc/meminfo: memFree=90536312/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15807332 memory=12782544 CPUtime=3034.91 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1173265 0 0 0 299770 3721 0 0 20 0 1 0 43202727 16186707968 3195636 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3951833 3195636 1838 992 0 3943691 0
Current children cumulated CPU time: 3034.91 s
Current children cumulated vsize: 15807332 KiB
Current children cumulated memory: 12782544 KiB
[startup+3102.3 s]
/proc/loadavg: 3.73 3.34 3.50 5/237 366375
/proc/meminfo: memFree=90066560/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15871264 memory=12855864 CPUtime=3094.78 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1190729 0 0 0 305731 3747 0 0 20 0 1 0 43202727 16252174336 3213966 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3967816 3213966 1838 992 0 3959674 0
Current children cumulated CPU time: 3094.78 s
Current children cumulated vsize: 15871264 KiB
Current children cumulated memory: 12855864 KiB
[startup+3162.3 s]
/proc/loadavg: 3.30 3.29 3.47 5/237 366385
/proc/meminfo: memFree=89546320/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15910676 memory=12911696 CPUtime=3154.65 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1201366 0 0 0 311611 3854 0 0 20 0 1 0 43202727 16292532224 3227924 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3977669 3227924 1838 992 0 3969527 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 12911696 KiB
[startup+3222.3 s]
/proc/loadavg: 3.25 3.28 3.45 5/236 366397
/proc/meminfo: memFree=89302288/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15910676 memory=12931200 CPUtime=3214.51 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1205005 0 0 0 317586 3865 0 0 20 0 1 0 43202727 16292532224 3232800 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3977669 3232800 1838 992 0 3969527 0
Current children cumulated CPU time: 3214.51 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 12931200 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.24 3.43 5/236 366407
/proc/meminfo: memFree=89064764/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15910676 memory=12945948 CPUtime=3274.39 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1208623 0 0 0 323505 3934 0 0 20 0 1 0 43202727 16292532224 3236487 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3977669 3236487 1838 992 0 3969527 0
Current children cumulated CPU time: 3274.39 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 12945948 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.22 3.41 5/236 366417
/proc/meminfo: memFree=88706800/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15910676 memory=12970244 CPUtime=3334.26 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1212319 0 0 0 329407 4019 0 0 20 0 1 0 43202727 16292532224 3242561 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3977669 3242561 1838 992 0 3969527 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 12970244 KiB
[startup+3402.3 s]
/proc/loadavg: 3.05 3.18 3.38 5/236 366428
/proc/meminfo: memFree=88347864/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15910676 memory=12994764 CPUtime=3394.12 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1216065 0 0 0 335378 4034 0 0 20 0 1 0 43202727 16292532224 3248691 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3977669 3248691 1838 992 0 3969527 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 12994764 KiB
[startup+3462.3 s]
/proc/loadavg: 3.21 3.20 3.38 5/236 366438
/proc/meminfo: memFree=87979128/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15910676 memory=13005012 CPUtime=3453.98 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1220542 0 0 0 341273 4125 0 0 20 0 1 0 43202727 16292532224 3251253 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3977669 3251253 1838 992 0 3969527 0
Current children cumulated CPU time: 3453.98 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13005012 KiB
[startup+3522.3 s]
/proc/loadavg: 2.98 3.15 3.34 4/233 366488
/proc/meminfo: memFree=98957512/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15916796 memory=13023808 CPUtime=3513.84 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1225707 0 0 0 347178 4206 0 0 20 0 1 0 43202727 16298799104 3255952 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3979199 3255952 1838 992 0 3971057 0
Current children cumulated CPU time: 3513.84 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13023808 KiB
[startup+3582.3 s]
/proc/loadavg: 2.43 2.97 3.27 4/233 366501
/proc/meminfo: memFree=98563392/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15916796 memory=13055160 CPUtime=3573.72 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1229621 0 0 0 353137 4235 0 0 20 0 1 0 43202727 16298799104 3263790 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3979199 3263790 1838 992 0 3971057 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13055160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 2.37 2.90 3.24 4/233 366504
/proc/meminfo: memFree=98419968/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15916796 memory=13069412 CPUtime=3600.07 cores=1,3
/proc/364552/stat : 364552 (roundingsat) R 364549 364552 360024 0 -1 4194304 1231298 0 0 0 355684 4323 0 0 20 0 1 0 43202727 16298799104 3267353 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3979199 3267353 1838 992 0 3971057 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13069412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.07 s]
# the end of solver process 364552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.98 s, system=43.3577 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 2.37 2.90 3.24 4/233 366504
/proc/meminfo: memFree=98419968/131655788 swapFree=131061684/131071996
[pid=364552] ppid=364549 vsize=15916796 memory=13069412 CPUtime=3600.08 cores=1,3
/proc/364552/stat : 364552 (roundingsat) D 364549 364552 360024 0 -1 4194304 1231315 0 0 0 355684 4324 0 0 20 0 1 0 43202727 16298799104 3267353 134679101440 4194304 8254357 140735991658032 0 0 0 0 0 25182210 0 0 0 17 3 0 0 8 0 0 9037040 9046032 12652544 140735991665503 140735991665765 140735991665765 140735991672777 0
/proc/364552/statm: 3979199 3267353 1838 992 0 3971057 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13069412 KiB
[startup+3609 s]*
/proc/loadavg: 2.37 2.90 3.24 5/233 366506
/proc/meminfo: memFree=104158068/131655788 swapFree=131061684/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3609.07
CPU time (s): 3600.33
CPU user time (s): 3556.98
CPU system time (s): 43.3577
CPU usage (%): 99.7578
Max. virtual memory (cumulated for all children) (KiB): 15916796
Max. memory (cumulated for all children) (KiB): 13069412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.98
system time used= 43.3577
maximum resident set size= 13069412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1231770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27700296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2134
involuntary context switches= 4575
# summary of solver processes directly reported to runsolver:
# pid: 364552
# total CPU time (s): 3600.33
# total CPU user time (s): 3556.98
# total CPU system time (s): 43.3577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.08 second user time and 37.1823 second system time
The end
Begin job on nodeC011 at 2024-07-27 11:22:09
IDJOB=4460740
IDBENCH=160484
IDSOLVER=3086
FILE ID=nodeC011/4460740-1722072128
RUNJOBID= nodeC011-1722064838-360036
SLURM_JOB_ID= 8248113
Free space on /tmp= 723732 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460740-1722072128/watcher-4460740-1722072128 -o /tmp/evaluation-result-4460740-1722072128/solver-4460740-1722072128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360036 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460740-1722072128 --lp-cut-gomory=0 HOME/instance-4460740-1722072128.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=2116092576
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3650.563
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.36
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 : 1197.338
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 1197.386
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.36
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 : 1463.006
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 3520.997
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.36
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 : 3624.228
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.362
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.36
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 : 1197.393
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124013292 kB
MemAvailable: 129264288 kB
Buffers: 362112 kB
Cached: 5714904 kB
SwapCached: 48 kB
Active: 1895336 kB
Inactive: 5176912 kB
Active(anon): 2308 kB
Inactive(anon): 1045808 kB
Active(file): 1893028 kB
Inactive(file): 4131104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061684 kB
Dirty: 92992 kB
Writeback: 428956 kB
AnonPages: 993956 kB
Mapped: 108468 kB
Shmem: 52836 kB
KReclaimable: 134128 kB
Slab: 254436 kB
SReclaimable: 134128 kB
SUnreclaim: 120308 kB
KernelStack: 4256 kB
PageTables: 11620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1444868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 12160 kB
HardwareCorrupted: 0 kB
AnonHugePages: 294912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 424776 kB
DirectMap2M: 46665728 kB
DirectMap1G: 89128960 kB
Free space on /tmp at the end= 723740 MiB
End job on nodeC011 at 2024-07-27 12:22:18