0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
10.99/13.97 c #variables 5121998 #constraints 14000
18.56/21.55 c bounds - >= 0 @ 9.58852
18.56/21.55 c rational objective 9542
1230.17/1237.50 terminate called after throwing an instance of 'std::bad_alloc'
1230.17/1237.50 what(): std::bad_alloc
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 (62114 MiB free)
memory of node 1: 64473 MiB (1170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462684-1722344417/watcher-4462684-1722344417 -o /tmp/evaluation-result-4462684-1722344417/solver-4462684-1722344417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6755 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462684-1722344417 --lp-cut-gomory=0 HOME/instance-4462684-1722344417.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9032, runsolver pid=9029
[startup+0.100099 s]*
/proc/loadavg: 4.19 4.26 4.19 2/250 9033
/proc/meminfo: memFree=64802856/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/9032/stat : 9032 (roundingsat) D 9029 9032 6745 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1038559 38273024 638 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.205858 s]*
/proc/loadavg: 4.19 4.26 4.19 2/250 9033
/proc/meminfo: memFree=64802768/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/9032/stat : 9032 (roundingsat) D 9029 9032 6745 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1038559 38273024 638 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.304922 s]*
/proc/loadavg: 4.19 4.26 4.19 2/250 9033
/proc/meminfo: memFree=64802956/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/9032/stat : 9032 (roundingsat) D 9029 9032 6745 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1038559 38273024 638 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.700264 s]
/proc/loadavg: 4.19 4.26 4.19 2/250 9033
/proc/meminfo: memFree=64801388/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/9032/stat : 9032 (roundingsat) D 9029 9032 6745 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1038559 38273024 638 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+1.50025 s]
/proc/loadavg: 4.19 4.26 4.19 2/250 9033
/proc/meminfo: memFree=64801864/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/9032/stat : 9032 (roundingsat) D 9029 9032 6745 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1038559 38273024 638 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+3.1136 s]
/proc/loadavg: 4.17 4.25 4.19 3/256 9053
/proc/meminfo: memFree=65844908/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=165044 memory=84564 CPUtime=0.23 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 3773 0 0 0 13 10 0 0 20 0 1 0 1038559 169005056 21141 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 41261 21141 1333 992 0 33119 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 165044 KiB
Current children cumulated memory: 84564 KiB
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 4.17 4.25 4.19 4/256 9053
/proc/meminfo: memFree=64873576/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=1418864 memory=1155544 CPUtime=3.41 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 19419 0 0 0 275 66 0 0 20 0 1 0 1038559 1452916736 288886 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 354716 288886 1333 992 0 346574 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 1418864 KiB
Current children cumulated memory: 1155544 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.14 4.24 4.19 4/249 9081
/proc/meminfo: memFree=68195428/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=2701488 memory=2161872 CPUtime=9.79 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 77041 0 0 0 860 119 0 0 20 0 1 0 1038559 2766323712 539956 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 675372 539956 1635 992 0 667230 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 2701488 KiB
Current children cumulated memory: 2161872 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.12 4.23 4.19 5/255 9196
/proc/meminfo: memFree=121210096/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=5430632 memory=4898676 CPUtime=22.54 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 242530 0 0 0 1727 527 0 0 20 0 1 0 1038559 5560967168 1224669 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 1357658 1224669 1808 992 0 1349516 0
Current children cumulated CPU time: 22.54 s
Current children cumulated vsize: 5430632 KiB
Current children cumulated memory: 4898676 KiB
[startup+51.1136 s]
/proc/loadavg: 4.15 4.23 4.19 5/255 9211
/proc/meminfo: memFree=119661860/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=6832624 memory=5928632 CPUtime=48.08 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 266180 0 0 0 3222 1586 0 0 20 0 1 0 1038559 6996606976 1481646 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 1708156 1482158 1878 992 0 1700014 0
Current children cumulated CPU time: 48.08 s
Current children cumulated vsize: 6832624 KiB
Current children cumulated memory: 5928632 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/255 9266
/proc/meminfo: memFree=119646976/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=8473500 memory=7290760 CPUtime=99.08 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 368502 0 0 0 7874 2034 0 0 20 0 1 0 1038559 8676864000 1822690 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 2118375 1822690 1878 992 0 2110233 0
Current children cumulated CPU time: 99.08 s
Current children cumulated vsize: 8473500 KiB
Current children cumulated memory: 7290760 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.26 4.19 5/250 9305
/proc/meminfo: memFree=114948440/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=10052232 memory=8792896 CPUtime=158.87 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 555468 0 0 0 12751 3136 0 0 20 0 1 0 1038559 10293485568 2198224 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 2513058 2198224 1878 992 0 2504916 0
Current children cumulated CPU time: 158.87 s
Current children cumulated vsize: 10052232 KiB
Current children cumulated memory: 8792896 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.24 4.19 5/250 9334
/proc/meminfo: memFree=113049968/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=10052504 memory=8795224 CPUtime=218.63 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 599910 0 0 0 18600 3263 0 0 20 0 1 0 1038559 10293764096 2198806 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 2513126 2198806 1878 992 0 2504984 0
Current children cumulated CPU time: 218.63 s
Current children cumulated vsize: 10052504 KiB
Current children cumulated memory: 8795224 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/246 9345
/proc/meminfo: memFree=111453052/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=10052504 memory=8797272 CPUtime=278.38 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 645884 0 0 0 24449 3389 0 0 20 0 1 0 1038559 10293764096 2199318 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 2513126 2199318 1878 992 0 2504984 0
Current children cumulated CPU time: 278.38 s
Current children cumulated vsize: 10052504 KiB
Current children cumulated memory: 8797272 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/246 9359
/proc/meminfo: memFree=108948068/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=10398728 memory=9296000 CPUtime=338.17 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 733209 0 0 0 29527 4290 0 0 20 0 1 0 1038559 10648297472 2324000 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 2599682 2324000 1878 992 0 2591540 0
Current children cumulated CPU time: 338.17 s
Current children cumulated vsize: 10398728 KiB
Current children cumulated memory: 9296000 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/253 9377
/proc/meminfo: memFree=105667624/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=11633388 memory=9982052 CPUtime=397.96 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 827723 0 0 0 34739 5057 0 0 20 0 1 0 1038559 11912589312 2495513 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 2908347 2495513 1878 992 0 2900205 0
Current children cumulated CPU time: 397.96 s
Current children cumulated vsize: 11633388 KiB
Current children cumulated memory: 9982052 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/253 9389
################
# More data... #
################
/proc/loadavg: 4.15 4.15 4.16 5/255 9452
/proc/meminfo: memFree=81262216/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=19053888 memory=16558356 CPUtime=756.7 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 1669327 0 0 0 66369 9301 0 0 20 0 1 0 1038559 19511181312 4139589 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 4763472 4139589 1878 992 0 4755330 0
Current children cumulated CPU time: 756.7 s
Current children cumulated vsize: 19053888 KiB
Current children cumulated memory: 16558356 KiB
[startup+822.3 s]
/proc/loadavg: 4.23 4.17 4.17 5/253 9464
/proc/meminfo: memFree=69826412/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=22343332 memory=20400992 CPUtime=816.5 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2461624 0 0 0 71193 10457 0 0 20 0 1 0 1038559 22879571968 5100248 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 5585833 5100248 1878 992 0 5577691 0
Current children cumulated CPU time: 816.5 s
Current children cumulated vsize: 22343332 KiB
Current children cumulated memory: 20400992 KiB
[startup+882.3 s]
/proc/loadavg: 4.24 4.20 4.18 5/249 9502
/proc/meminfo: memFree=62487588/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=22786816 memory=21515424 CPUtime=876.28 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2541624 0 0 0 76928 10700 0 0 20 0 1 0 1038559 23333699584 5378856 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 5696704 5378856 1878 992 0 5688562 0
Current children cumulated CPU time: 876.28 s
Current children cumulated vsize: 22786816 KiB
Current children cumulated memory: 21515424 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 4.17 4.17 7/248 9513
/proc/meminfo: memFree=76984460/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=23032504 memory=22254740 CPUtime=936.07 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2623304 0 0 0 82680 10927 0 0 20 0 1 0 1038559 23585284096 5563685 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 5758126 5563685 1878 992 0 5749984 0
Current children cumulated CPU time: 936.07 s
Current children cumulated vsize: 23032504 KiB
Current children cumulated memory: 22254740 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/252 9531
/proc/meminfo: memFree=72771548/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=26991860 memory=22688828 CPUtime=995.85 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2650474 0 0 0 88448 11137 0 0 20 0 1 0 1038559 27639664640 5672207 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 6747965 5672207 1878 992 0 6739823 0
Current children cumulated CPU time: 995.85 s
Current children cumulated vsize: 26991860 KiB
Current children cumulated memory: 22688828 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.15 4.16 4/254 9544
/proc/meminfo: memFree=67472968/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=26993036 memory=23120968 CPUtime=1055.62 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2678641 0 0 0 94216 11346 0 0 20 0 1 0 1038559 27640868864 5780242 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 6748259 5780242 1878 992 0 6740117 0
Current children cumulated CPU time: 1055.62 s
Current children cumulated vsize: 26993036 KiB
Current children cumulated memory: 23120968 KiB
[startup+1122.3 s]
/proc/loadavg: 4.20 4.17 4.17 5/255 9556
/proc/meminfo: memFree=62726060/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=26995884 memory=23582448 CPUtime=1115.39 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2705530 0 0 0 99977 11562 0 0 20 0 1 0 1038559 27643785216 5895612 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 6748971 5895612 1878 992 0 6740829 0
Current children cumulated CPU time: 1115.39 s
Current children cumulated vsize: 26995884 KiB
Current children cumulated memory: 23582448 KiB
[startup+1182.3 s]
/proc/loadavg: 4.47 4.24 4.20 5/259 9574
/proc/meminfo: memFree=58595684/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=27009688 memory=24046644 CPUtime=1175.17 cores=0,2
/proc/9032/stat : 9032 (roundingsat) R 9029 9032 6745 0 -1 4194304 2734592 0 0 0 105333 12184 0 0 20 0 1 0 1038559 27657920512 6011661 134679101440 4194304 8255733 140736567627552 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 6752422 6011661 1878 992 0 6744280 0
Current children cumulated CPU time: 1175.17 s
Current children cumulated vsize: 27009688 KiB
Current children cumulated memory: 24046644 KiB
[startup+1242.3 s]
/proc/loadavg: 4.39 4.26 4.20 5/261 9587
/proc/meminfo: memFree=47053680/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=31692520 memory=29349244 CPUtime=1233.35 cores=0,2
/proc/9032/stat : 9032 (roundingsat) S 9029 9032 6745 0 -1 4195840 4212082 0 1 0 110372 12963 0 0 20 0 1 0 1038559 32453140480 7337311 134679101440 4194304 8255733 140736567627552 140736567624880 139856225055615 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 7923130 7337311 1878 992 0 7914988 0
Current children cumulated CPU time: 1233.35 s
Current children cumulated vsize: 31692520 KiB
Current children cumulated memory: 29349244 KiB
[startup+1258.52 s]
# the end of solver process 9032 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=1103.73 s, system=130.792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1248 s]*
/proc/loadavg: 4.44 4.27 4.21 4/261 9589
/proc/meminfo: memFree=46123740/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=31692520 memory=29349244 CPUtime=1233.35 cores=0,2
/proc/9032/stat : 9032 (roundingsat) S 9029 9032 6745 0 -1 4195840 4212082 0 1 0 110372 12963 0 0 20 0 1 0 1038559 32453140480 7337311 134679101440 4194304 8255733 140736567627552 140736567624880 139856225055615 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 7923130 7337311 1878 992 0 7914988 0
Current children cumulated CPU time: 1233.35 s
Current children cumulated vsize: 31692520 KiB
Current children cumulated memory: 29349244 KiB
[startup+1254.4 s]
/proc/loadavg: 4.56 4.30 4.22 4/261 9589
/proc/meminfo: memFree=45925784/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=31692520 memory=29349244 CPUtime=1233.35 cores=0,2
/proc/9032/stat : 9032 (roundingsat) S 9029 9032 6745 0 -1 4195840 4212082 0 1 0 110372 12963 0 0 20 0 1 0 1038559 32453140480 7337311 134679101440 4194304 8255733 140736567627552 140736567624880 139856225055615 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 7923130 7337311 1878 992 0 7914988 0
Current children cumulated CPU time: 1233.35 s
Current children cumulated vsize: 31692520 KiB
Current children cumulated memory: 29349244 KiB
[startup+1256 s]*
/proc/loadavg: 4.56 4.30 4.22 4/261 9589
/proc/meminfo: memFree=45846588/131655788 swapFree=131071996/131071996
[pid=9032] ppid=9029 vsize=31692520 memory=29349244 CPUtime=1233.35 cores=0,2
/proc/9032/stat : 9032 (roundingsat) S 9029 9032 6745 0 -1 4195840 4212082 0 1 0 110372 12963 0 0 20 0 1 0 1038559 32453140480 7337311 134679101440 4194304 8255733 140736567627552 140736567624880 139856225055615 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 11857920 140736567636830 140736567637092 140736567637092 140736567644105 0
/proc/9032/statm: 7923130 7337311 1878 992 0 7914988 0
Current children cumulated CPU time: 1233.35 s
Current children cumulated vsize: 31692520 KiB
Current children cumulated memory: 29349244 KiB
[startup+1257.6 s]
/proc/loadavg: 4.52 4.30 4.21 5/261 9589
/proc/meminfo: memFree=48693272/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1258 s]*
/proc/loadavg: 4.52 4.30 4.21 7/264 9599
/proc/meminfo: memFree=57951580/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1258.4 s]
/proc/loadavg: 4.52 4.30 4.21 7/264 9599
/proc/meminfo: memFree=57951580/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1258.5 s]
/proc/loadavg: 4.52 4.30 4.21 7/264 9599
/proc/meminfo: memFree=57951580/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1258.52
CPU time (s): 1234.52
CPU user time (s): 1103.73
CPU system time (s): 130.792
CPU usage (%): 98.0932
Max. virtual memory (cumulated for all children) (KiB): 31692520
Max. memory (cumulated for all children) (KiB): 29349244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.73
system time used= 130.792
maximum resident set size= 29349860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4212082
page faults= 1
swaps= 0
block input operations= 2904
block output operations= 59422144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74
involuntary context switches= 8658
# summary of solver processes directly reported to runsolver:
# pid: 9032
# total CPU time (s): 1234.52
# total CPU user time (s): 1103.73
# total CPU system time (s): 130.792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26885 second user time and 10.8378 second system time
The end
Begin job on nodeC006 at 2024-07-30 15:00:21
IDJOB=4462684
IDBENCH=148739
IDSOLVER=3089
FILE ID=nodeC006/4462684-1722344417
RUNJOBID= nodeC006-1722340763-6755
SLURM_JOB_ID= 8248986
Free space on /tmp= 723516 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__512.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-4462684-1722344417/watcher-4462684-1722344417 -o /tmp/evaluation-result-4462684-1722344417/solver-4462684-1722344417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6755 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462684-1722344417 --lp-cut-gomory=0 HOME/instance-4462684-1722344417.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40351a18114e83e0c165271c5d48a38f
RANDOM SEED=52205761
nodeC006.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 : 1197.602
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 : 6983.46
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 : 3686.554
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.38
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 : 2027.843
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 : 6983.46
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 : 1197.566
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
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 : 6983.46
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 : 1197.029
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.38
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.566
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 : 6983.46
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.460
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 64803736 kB
MemAvailable: 126086748 kB
Buffers: 48200 kB
Cached: 62001832 kB
SwapCached: 0 kB
Active: 160572 kB
Inactive: 66108600 kB
Active(anon): 1412 kB
Inactive(anon): 4239088 kB
Active(file): 159160 kB
Inactive(file): 61869512 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 277764 kB
Writeback: 228828 kB
AnonPages: 4212984 kB
Mapped: 94948 kB
Shmem: 21320 kB
KReclaimable: 189076 kB
Slab: 274224 kB
SReclaimable: 189076 kB
SUnreclaim: 85148 kB
KernelStack: 4048 kB
PageTables: 17324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4702092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3649536 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: 181064 kB
DirectMap2M: 9160704 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723432 MiB
End job on nodeC006 at 2024-07-30 15:21:19