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: 63968 MiB (54391 MiB free)
memory of node 1: 64473 MiB (39395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460353-1722068464/watcher-4460353-1722068464 -o /tmp/evaluation-result-4460353-1722068464/solver-4460353-1722068464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364081 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460353-1722068464 --lp-cut-gomory=0 HOME/instance-4460353-1722068464.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=366317, runsolver pid=366314
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 4.21 4.12 4.03 4/256 366318
/proc/meminfo: memFree=96036424/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=37376 memory=2632 CPUtime=0 cores=0,2
/proc/366317/stat : 366317 (roundingsat) D 366314 366317 364071 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 43374714 38273024 658 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.205311 s]*
/proc/loadavg: 4.21 4.12 4.03 4/256 366318
/proc/meminfo: memFree=96031880/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=37376 memory=2632 CPUtime=0 cores=0,2
/proc/366317/stat : 366317 (roundingsat) D 366314 366317 364071 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 43374714 38273024 658 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.305101 s]*
/proc/loadavg: 4.21 4.12 4.03 4/256 366318
/proc/meminfo: memFree=96029416/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=37376 memory=2632 CPUtime=0 cores=0,2
/proc/366317/stat : 366317 (roundingsat) D 366314 366317 364071 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 43374714 38273024 658 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.700159 s]
/proc/loadavg: 4.21 4.12 4.03 4/256 366318
/proc/meminfo: memFree=96026924/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=37376 memory=2632 CPUtime=0 cores=0,2
/proc/366317/stat : 366317 (roundingsat) D 366314 366317 364071 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 43374714 38273024 658 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+1.50052 s]
/proc/loadavg: 4.21 4.12 4.03 5/256 366320
/proc/meminfo: memFree=95993116/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=114060 memory=82596 CPUtime=0.74 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 17651 0 0 0 59 15 0 0 20 0 1 0 43374714 116797440 20649 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 28515 20649 1671 992 0 20373 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 114060 KiB
Current children cumulated memory: 82596 KiB
[startup+3.10554 s]
/proc/loadavg: 4.21 4.12 4.03 5/256 366320
/proc/meminfo: memFree=95822540/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=204932 memory=171020 CPUtime=2.33 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 32874 0 0 0 209 24 0 0 20 0 1 0 43374714 209850368 42755 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 51233 42755 1830 992 0 43091 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 204932 KiB
Current children cumulated memory: 171020 KiB
heavy processes:
[startup+6.30021 s]
/proc/loadavg: 4.20 4.12 4.03 5/256 366320
/proc/meminfo: memFree=95727048/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=219628 memory=182224 CPUtime=5.5 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 33618 0 0 0 518 32 0 0 20 0 1 0 43374714 224899072 45556 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 54907 45556 1830 992 0 46765 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 219628 KiB
Current children cumulated memory: 182224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.12 4.02 5/256 366322
/proc/meminfo: memFree=95619100/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=224524 memory=185756 CPUtime=11.88 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 34553 0 0 0 1154 34 0 0 20 0 1 0 43374714 229912576 46439 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 56131 46439 1830 992 0 47989 0
Current children cumulated CPU time: 11.88 s
Current children cumulated vsize: 224524 KiB
Current children cumulated memory: 185756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.02 4/255 366324
/proc/meminfo: memFree=96710524/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=224524 memory=187520 CPUtime=24.64 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 35042 0 0 0 2422 42 0 0 20 0 1 0 43374714 229912576 46880 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 56131 46880 1830 992 0 47989 0
Current children cumulated CPU time: 24.64 s
Current children cumulated vsize: 224524 KiB
Current children cumulated memory: 187520 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.13 4.03 5/256 366375
/proc/meminfo: memFree=108627800/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=235352 memory=199740 CPUtime=50.15 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 38076 0 0 0 4961 54 0 0 20 0 1 0 43374714 241000448 49935 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 58838 49935 1924 992 0 50696 0
Current children cumulated CPU time: 50.15 s
Current children cumulated vsize: 235352 KiB
Current children cumulated memory: 199740 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.17 4.05 5/257 366385
/proc/meminfo: memFree=106525180/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=242328 memory=206616 CPUtime=101.17 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 39305 0 0 0 10039 78 0 0 20 0 1 0 43374714 248143872 51654 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 60582 51654 1924 992 0 52440 0
Current children cumulated CPU time: 101.17 s
Current children cumulated vsize: 242328 KiB
Current children cumulated memory: 206616 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.05 5/259 366443
/proc/meminfo: memFree=103937328/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=244648 memory=208476 CPUtime=160.94 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 39805 0 0 0 15999 95 0 0 20 0 1 0 43374714 250519552 52119 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 61162 52119 1924 992 0 53020 0
Current children cumulated CPU time: 160.94 s
Current children cumulated vsize: 244648 KiB
Current children cumulated memory: 208476 KiB
[startup+222.3 s]
/proc/loadavg: 4.46 4.26 4.09 5/260 366454
/proc/meminfo: memFree=100534288/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=245240 memory=212928 CPUtime=220.74 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 40761 0 0 0 21974 100 0 0 20 0 1 0 43374714 251125760 53232 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 61310 53232 1924 992 0 53168 0
Current children cumulated CPU time: 220.74 s
Current children cumulated vsize: 245240 KiB
Current children cumulated memory: 212928 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.24 4.09 5/261 366849
/proc/meminfo: memFree=98237104/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=250312 memory=223864 CPUtime=280.55 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 40950 0 0 0 27952 103 0 0 20 0 1 0 43374714 256319488 55966 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 62578 55966 1924 992 0 54436 0
Current children cumulated CPU time: 280.55 s
Current children cumulated vsize: 250312 KiB
Current children cumulated memory: 223864 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.22 4.10 5/261 366859
/proc/meminfo: memFree=95513060/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=250312 memory=223868 CPUtime=340.36 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 41023 0 0 0 33929 107 0 0 20 0 1 0 43374714 256319488 55967 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 62578 55967 1924 992 0 54436 0
Current children cumulated CPU time: 340.36 s
Current children cumulated vsize: 250312 KiB
Current children cumulated memory: 223868 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/261 366871
/proc/meminfo: memFree=95025784/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=250312 memory=223868 CPUtime=400.16 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 41115 0 0 0 39903 113 0 0 20 0 1 0 43374714 256319488 55967 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 62578 55967 1924 992 0 54436 0
Current children cumulated CPU time: 400.16 s
Current children cumulated vsize: 250312 KiB
Current children cumulated memory: 223868 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.17 4.09 5/261 367050
/proc/meminfo: memFree=93007584/131524600 swapFree=131063756/131071996
[pid=366317] ppid=366314 vsize=250312 memory=223868 CPUtime=459.96 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 41186 0 0 0 45878 118 0 0 20 0 1 0 43374714 256319488 55967 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/258 368181
/proc/meminfo: memFree=5960068/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=325128 memory=283272 CPUtime=3091.01 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 53630 0 0 0 308392 709 0 0 20 0 1 0 43374714 332931072 70818 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 81282 70818 1924 992 0 73140 0
Current children cumulated CPU time: 3091.01 s
Current children cumulated vsize: 325128 KiB
Current children cumulated memory: 283272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/258 368192
/proc/meminfo: memFree=4432760/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=328712 memory=287632 CPUtime=3150.8 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 54843 0 0 0 314367 713 0 0 20 0 1 0 43374714 336601088 71908 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 82178 71908 1924 992 0 74036 0
Current children cumulated CPU time: 3150.8 s
Current children cumulated vsize: 328712 KiB
Current children cumulated memory: 287632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/257 368202
/proc/meminfo: memFree=2828408/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=330364 memory=289236 CPUtime=3210.58 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 55404 0 0 0 320341 717 0 0 20 0 1 0 43374714 338292736 72309 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 82591 72309 1924 992 0 74449 0
Current children cumulated CPU time: 3210.58 s
Current children cumulated vsize: 330364 KiB
Current children cumulated memory: 289236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/255 368214
/proc/meminfo: memFree=553672/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=330364 memory=289408 CPUtime=3270.38 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 55543 0 0 0 326314 724 0 0 20 0 1 0 43374714 338292736 72352 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 82591 72352 1924 992 0 74449 0
Current children cumulated CPU time: 3270.38 s
Current children cumulated vsize: 330364 KiB
Current children cumulated memory: 289408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/256 368225
/proc/meminfo: memFree=607124/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=333364 memory=292412 CPUtime=3330.17 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 56430 0 0 0 332290 727 0 0 20 0 1 0 43374714 341364736 73103 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 83341 73103 1924 992 0 75199 0
Current children cumulated CPU time: 3330.17 s
Current children cumulated vsize: 333364 KiB
Current children cumulated memory: 292412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/257 368237
/proc/meminfo: memFree=528496/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=333652 memory=292736 CPUtime=3389.97 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 56633 0 0 0 338266 731 0 0 20 0 1 0 43374714 341659648 73184 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 83413 73184 1924 992 0 75271 0
Current children cumulated CPU time: 3389.97 s
Current children cumulated vsize: 333652 KiB
Current children cumulated memory: 292736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.16 5/257 368247
/proc/meminfo: memFree=600928/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=333876 memory=292976 CPUtime=3449.76 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 56821 0 0 0 344241 735 0 0 20 0 1 0 43374714 341889024 73244 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 83469 73244 1924 992 0 75327 0
Current children cumulated CPU time: 3449.76 s
Current children cumulated vsize: 333876 KiB
Current children cumulated memory: 292976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/257 368257
/proc/meminfo: memFree=520504/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295088 CPUtime=3509.56 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57478 0 0 0 350218 738 0 0 20 0 1 0 43374714 344219648 73772 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73772 1924 992 0 75896 0
Current children cumulated CPU time: 3509.56 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.19 4.17 5/258 368272
/proc/meminfo: memFree=499616/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295104 CPUtime=3569.36 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57610 0 0 0 356194 742 0 0 20 0 1 0 43374714 344219648 73776 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73776 1924 992 0 75896 0
Current children cumulated CPU time: 3569.36 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.11 s]
/proc/loadavg: 4.24 4.19 4.17 5/251 368303
/proc/meminfo: memFree=3586064/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295108 CPUtime=3600.06 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57674 0 0 0 359262 744 0 0 20 0 1 0 43374714 344219648 73777 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73777 1924 992 0 75896 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3615.11 s]
# the end of solver process 366317 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3594.61 s, system=7.44684 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.24 4.19 4.17 5/257 368323
/proc/meminfo: memFree=18543808/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295108 CPUtime=3601.35 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57674 0 0 0 359391 744 0 0 20 0 1 0 43374714 344219648 73777 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73777 1924 992 0 75896 0
Current children cumulated CPU time: 3601.35 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295108 KiB
[startup+3614.8 s]
/proc/loadavg: 4.24 4.19 4.17 5/257 368323
/proc/meminfo: memFree=18543808/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295108 CPUtime=3601.74 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57674 0 0 0 359430 744 0 0 20 0 1 0 43374714 344219648 73777 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73777 1924 992 0 75896 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295108 KiB
[startup+3615 s]*
/proc/loadavg: 4.24 4.19 4.17 5/257 368323
/proc/meminfo: memFree=18446308/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295108 CPUtime=3601.95 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57674 0 0 0 359451 744 0 0 20 0 1 0 43374714 344219648 73777 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73777 1924 992 0 75896 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295108 KiB
[startup+3615.11 s]
/proc/loadavg: 4.24 4.19 4.17 5/257 368323
/proc/meminfo: memFree=18446308/131524600 swapFree=131062976/131071996
[pid=366317] ppid=366314 vsize=336152 memory=295108 CPUtime=3602.05 cores=0,2
/proc/366317/stat : 366317 (roundingsat) R 366314 366317 364071 0 -1 4194304 57674 0 0 0 359461 744 0 0 20 0 1 0 43374714 344219648 73777 134679101440 4194304 8254357 140720788514704 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 38187008 140720788517727 140720788517989 140720788517989 140720788525001 0
/proc/366317/statm: 84038 73777 1924 992 0 75896 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 295108 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.11
CPU time (s): 3602.06
CPU user time (s): 3594.61
CPU system time (s): 7.44684
CPU usage (%): 99.639
Max. virtual memory (cumulated for all children) (KiB): 336152
Max. memory (cumulated for all children) (KiB): 295108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.61
system time used= 7.44684
maximum resident set size= 295108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5296320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 24749
# summary of solver processes directly reported to runsolver:
# pid: 366317
# total CPU time (s): 3602.06
# total CPU user time (s): 3594.61
# total CPU system time (s): 7.44684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7872 second user time and 18.1047 second system time
The end
Begin job on nodeC027 at 2024-07-27 10:21:04
IDJOB=4460353
IDBENCH=149353
IDSOLVER=3086
FILE ID=nodeC027/4460353-1722068464
RUNJOBID= nodeC027-1722064836-364081
SLURM_JOB_ID= 8248095
Free space on /tmp= 890056 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12051_4.std.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-4460353-1722068464/watcher-4460353-1722068464 -o /tmp/evaluation-result-4460353-1722068464/solver-4460353-1722068464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722064836-364081 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460353-1722068464 --lp-cut-gomory=0 HOME/instance-4460353-1722068464.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ce5fda4b250413a1cb40a57b098d0841
RANDOM SEED=1994572972
nodeC027.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 : 0xb00002a
cpu MHz : 3638.240
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 3683.678
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
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 : 3668.726
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 3600.219
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
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 : 3673.807
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 3683.701
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
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 : 3613.280
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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.896
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 96038976 kB
MemAvailable: 128297312 kB
Buffers: 360824 kB
Cached: 32588296 kB
SwapCached: 472 kB
Active: 2685300 kB
Inactive: 31917624 kB
Active(anon): 1696 kB
Inactive(anon): 1705632 kB
Active(file): 2683604 kB
Inactive(file): 30211992 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 39600 kB
Writeback: 8 kB
AnonPages: 1653028 kB
Mapped: 127188 kB
Shmem: 53416 kB
KReclaimable: 405128 kB
Slab: 530180 kB
SReclaimable: 405128 kB
SUnreclaim: 125052 kB
KernelStack: 4192 kB
PageTables: 12748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2117460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1486848 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: 359124 kB
DirectMap2M: 40308736 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC027 at 2024-07-27 11:21:20