0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
1.19/1.23 c [STEP] solving
1.19/1.23 c #variables 320998 #constraints 7000
1.19/1.25 c SMALL=int, LARGE=long long
1.19/1.27 c bounds - >= 0 @ 1.15499
1.19/1.27 c stratification level: 119918
2.00/2.10 c bounds 1042508 >= 0 @ 1.5729
2.00/2.10 c stratification level: 114904
3035.10/3042.26 terminate called after throwing an instance of 'rs::OutOfMemoryException'
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 (63034 MiB free)
memory of node 1: 64473 MiB (58502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435980-1721111686/watcher-4435980-1721111686 -o /tmp/evaluation-result-4435980-1721111686/solver-4435980-1721111686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836653 --watchdog 3760 pb-oll-rs HOME/instance-4435980-1721111686.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=840882, runsolver pid=840879
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.05 4.08 4.12 5/244 840883
/proc/meminfo: memFree=124384532/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=112516 memory=78072 CPUtime=0.1 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 10301 0 0 0 6 4 0 0 20 0 1 0 163327454 115216384 19518 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 28129 19518 1158 291 0 19663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112516 KiB
Current children cumulated memory: 78072 KiB
[startup+0.21299 s]*
/proc/loadavg: 4.05 4.08 4.12 5/244 840883
/proc/meminfo: memFree=124344256/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=160584 memory=115232 CPUtime=0.21 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 15307 0 0 0 15 6 0 0 20 0 1 0 163327454 164438016 28808 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 40146 28808 1158 291 0 31680 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 160584 KiB
Current children cumulated memory: 115232 KiB
[startup+0.313046 s]*
/proc/loadavg: 4.05 4.08 4.12 5/244 840883
/proc/meminfo: memFree=124342208/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=160584 memory=115232 CPUtime=0.31 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 15307 0 0 0 25 6 0 0 20 0 1 0 163327454 164438016 28808 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 40146 28808 1158 291 0 31680 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 160584 KiB
Current children cumulated memory: 115232 KiB
[startup+0.700338 s]
/proc/loadavg: 4.05 4.08 4.12 5/244 840883
/proc/meminfo: memFree=124364984/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=123260 memory=93432 CPUtime=0.68 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 15815 0 0 0 61 7 0 0 20 0 1 0 163327454 126218240 23358 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 30815 23358 1190 291 0 22349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 93432 KiB
[startup+1.5003 s]
/proc/loadavg: 4.05 4.08 4.12 5/242 840897
/proc/meminfo: memFree=127681436/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=156068 memory=119880 CPUtime=1.48 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 21254 0 0 0 128 20 0 0 20 0 1 0 163327454 159813632 29970 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 39017 29970 1348 291 0 30551 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156068 KiB
Current children cumulated memory: 119880 KiB
[startup+3.113 s]
/proc/loadavg: 4.05 4.08 4.12 5/244 840931
/proc/meminfo: memFree=127549780/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=228172 memory=196032 CPUtime=3.09 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 31046 0 0 0 243 66 0 0 20 0 1 0 163327454 233648128 49008 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 57043 49008 1380 291 0 48577 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 228172 KiB
Current children cumulated memory: 196032 KiB
[startup+6.30027 s]
/proc/loadavg: 4.05 4.08 4.12 5/244 840977
/proc/meminfo: memFree=127556336/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=389280 memory=358520 CPUtime=6.27 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 59464 0 0 0 532 95 0 0 20 0 1 0 163327454 398622720 89630 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 97320 89630 1380 291 0 88854 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 389280 KiB
Current children cumulated memory: 358520 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.08 4.12 5/244 840977
/proc/meminfo: memFree=127177828/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=671712 memory=621288 CPUtime=12.66 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 97601 0 0 0 1143 123 0 0 20 0 1 0 163327454 687833088 155322 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 167928 155322 1380 291 0 159462 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 671712 KiB
Current children cumulated memory: 621288 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.11 4.13 6/241 840997
/proc/meminfo: memFree=126423424/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=1332672 memory=1139572 CPUtime=25.43 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 176687 0 0 0 2391 152 0 0 20 0 1 0 163327454 1364656128 284893 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 333168 284893 1380 291 0 324702 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1332672 KiB
Current children cumulated memory: 1139572 KiB
[startup+51.1129 s]
/proc/loadavg: 4.12 4.10 4.12 5/244 841030
/proc/meminfo: memFree=124966464/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=2263968 memory=1990936 CPUtime=50.99 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 322202 0 0 0 4233 866 0 0 20 0 1 0 163327454 2318303232 497734 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 565992 497734 1380 291 0 557526 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2263968 KiB
Current children cumulated memory: 1990936 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/241 841038
/proc/meminfo: memFree=122413620/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=3876832 memory=3684416 CPUtime=102.06 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 584330 0 0 0 9063 1143 0 0 20 0 1 0 163327454 3969875968 921104 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 969208 921104 1380 291 0 960742 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 3876832 KiB
Current children cumulated memory: 3684416 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/241 841048
/proc/meminfo: memFree=119261188/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=6671212 memory=5957576 CPUtime=161.93 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 947981 0 0 0 14762 1431 0 0 20 0 1 0 163327454 6831321088 1489394 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 1667803 1489394 1380 291 0 1659337 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 6671212 KiB
Current children cumulated memory: 5957576 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.11 5/241 841058
/proc/meminfo: memFree=117205984/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=8599416 memory=7657248 CPUtime=221.81 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 1136135 0 0 0 20349 1832 0 0 20 0 1 0 163327454 8805801984 1914312 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 2149854 1914312 1380 291 0 2141388 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 8599416 KiB
Current children cumulated memory: 7657248 KiB
[startup+282.3 s]
/proc/loadavg: 4.36 4.15 4.13 5/241 841069
/proc/meminfo: memFree=116330800/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=8699132 memory=8272344 CPUtime=281.68 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 1178045 0 0 0 25768 2400 0 0 20 0 1 0 163327454 8907911168 2068086 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 2174783 2068086 1380 291 0 2166317 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 8699132 KiB
Current children cumulated memory: 8272344 KiB
[startup+342.3 s]
/proc/loadavg: 4.64 4.28 4.18 5/243 841083
/proc/meminfo: memFree=116078532/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=8699132 memory=8273192 CPUtime=341.54 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 1179061 0 0 0 31723 2431 0 0 20 0 1 0 163327454 8907911168 2068298 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 2174783 2068298 1441 291 0 2166317 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 8699132 KiB
Current children cumulated memory: 8273192 KiB
[startup+402.3 s]
/proc/loadavg: 4.74 4.38 4.22 5/243 841093
/proc/meminfo: memFree=115501040/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=8699132 memory=8499036 CPUtime=401.41 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 1183047 0 0 0 37692 2449 0 0 20 0 1 0 163327454 8907911168 2124759 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 2174783 2124759 1441 291 0 2166317 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 8699132 KiB
Current children cumulated memory: 8499036 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.33 4.20 5/243 841104
/proc/meminfo: memFree=114798368/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=11156500 memory=9006400 CPUtime=461.28 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 1193305 0 0 0 43644 2484 0 0 20 0 1 0 163327454 11424256000 2251600 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 2789125 2251600 1441 291 0 2780659 0
################
# More data... #
################
/proc/loadavg: 4.16 4.19 4.19 5/241 842149
/proc/meminfo: memFree=86124868/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25279884 CPUtime=2616.2 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4035481 0 0 0 255161 6459 0 0 20 0 1 0 163327454 29366124544 6319971 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6319971 1441 291 0 7160998 0
Current children cumulated CPU time: 2616.2 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25279884 KiB
[startup+2682.3 s]
/proc/loadavg: 4.18 4.18 4.19 5/241 842160
/proc/meminfo: memFree=85751052/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25497836 CPUtime=2676.05 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4074724 0 0 0 261120 6485 0 0 20 0 1 0 163327454 29366124544 6374459 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6374459 1441 291 0 7160998 0
Current children cumulated CPU time: 2676.05 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25497836 KiB
[startup+2742.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 842175
/proc/meminfo: memFree=85510332/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25559568 CPUtime=2735.9 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4098444 0 0 0 266983 6607 0 0 20 0 1 0 163327454 29366124544 6389892 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6389892 1441 291 0 7160998 0
Current children cumulated CPU time: 2735.9 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559568 KiB
[startup+2802.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/244 842185
/proc/meminfo: memFree=85505540/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25559568 CPUtime=2795.77 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4103416 0 0 0 272793 6784 0 0 20 0 1 0 163327454 29366124544 6389892 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6389892 1441 291 0 7160998 0
Current children cumulated CPU time: 2795.77 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559568 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/244 842196
/proc/meminfo: memFree=85502216/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25559568 CPUtime=2855.62 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4109082 0 0 0 278759 6803 0 0 20 0 1 0 163327454 29366124544 6389892 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6389892 1441 291 0 7160998 0
Current children cumulated CPU time: 2855.62 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559568 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/244 842206
/proc/meminfo: memFree=85473492/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25559568 CPUtime=2915.49 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4115809 0 0 0 284624 6925 0 0 20 0 1 0 163327454 29366124544 6389892 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6389892 1441 291 0 7160998 0
Current children cumulated CPU time: 2915.49 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559568 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 842217
/proc/meminfo: memFree=85159372/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25559568 CPUtime=2975.34 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) R 840879 840882 836642 0 -1 4194304 4123495 0 0 0 290513 7021 0 0 20 0 1 0 163327454 29366124544 6389892 134679101440 4194304 5384005 140722197867360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6389892 1441 291 0 7160998 0
Current children cumulated CPU time: 2975.34 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25559568 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 842609
/proc/meminfo: memFree=84393104/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25971192 CPUtime=3035.17 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) S 840879 840882 836642 0 -1 4195840 4149822 0 1 0 296350 7167 0 0 20 0 1 0 163327454 29366124544 6492798 134679101440 4194304 5384005 140722197867360 140722197862976 140686305715071 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6492798 1441 291 0 7160998 0
Current children cumulated CPU time: 3035.17 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25971192 KiB
[startup+3063.16 s]
# the end of solver process 840882 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2963.51 s, system=75.2012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3046.4 s]
/proc/loadavg: 4.18 4.17 4.18 5/245 842614
/proc/meminfo: memFree=81946416/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25971192 CPUtime=3037.86 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) S 840879 840882 836642 0 -1 4195840 4149822 0 1 0 296350 7436 0 0 20 0 1 0 163327454 29366124544 6492798 134679101440 4194304 5384005 140722197867360 140722197862976 140686305715071 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6492798 1441 291 0 7160998 0
Current children cumulated CPU time: 3037.86 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25971192 KiB
[startup+3052.8 s]
/proc/loadavg: 4.17 4.16 4.18 4/245 842614
/proc/meminfo: memFree=80530668/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25971192 CPUtime=3037.86 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) S 840879 840882 836642 0 -1 4195840 4149822 0 1 0 296350 7436 0 0 20 0 1 0 163327454 29366124544 6492798 134679101440 4194304 5384005 140722197867360 140722197862976 140686305715071 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6492798 1441 291 0 7160998 0
Current children cumulated CPU time: 3037.86 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25971192 KiB
[startup+3059.2 s]
/proc/loadavg: 4.14 4.16 4.18 4/245 842616
/proc/meminfo: memFree=80530676/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25971192 CPUtime=3037.86 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) S 840879 840882 836642 0 -1 4195840 4149822 0 1 0 296350 7436 0 0 20 0 1 0 163327454 29366124544 6492798 134679101440 4194304 5384005 140722197867360 140722197862976 140686305715071 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6492798 1441 291 0 7160998 0
Current children cumulated CPU time: 3037.86 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25971192 KiB
[startup+3060.8 s]
/proc/loadavg: 4.14 4.16 4.18 4/245 842616
/proc/meminfo: memFree=80530676/131655788 swapFree=131071996/131071996
[pid=840882] ppid=840879 vsize=28677856 memory=25971192 CPUtime=3037.86 cores=4,6
/proc/840882/stat : 840882 (pb-oll-rs) S 840879 840882 836642 0 -1 4195840 4149822 0 1 0 296350 7436 0 0 20 0 1 0 163327454 29366124544 6492798 134679101440 4194304 5384005 140722197867360 140722197862976 140686305715071 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32088064 140722197873687 140722197873764 140722197873764 140722197880779 0
/proc/840882/statm: 7169464 6492798 1441 291 0 7160998 0
Current children cumulated CPU time: 3037.86 s
Current children cumulated vsize: 28677856 KiB
Current children cumulated memory: 25971192 KiB
[startup+3062.4 s]*
/proc/loadavg: 4.14 4.16 4.18 5/245 842617
/proc/meminfo: memFree=87844540/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3062.8 s]
/proc/loadavg: 4.14 4.16 4.18 5/245 842617
/proc/meminfo: memFree=87844540/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3063 s]*
/proc/loadavg: 4.21 4.17 4.18 5/248 842626
/proc/meminfo: memFree=98521572/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3063.11 s]
/proc/loadavg: 4.21 4.17 4.18 5/248 842626
/proc/meminfo: memFree=98521572/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): 3063.16
CPU time (s): 3038.71
CPU user time (s): 2963.51
CPU system time (s): 75.2012
CPU usage (%): 99.2017
Max. virtual memory (cumulated for all children) (KiB): 28677856
Max. memory (cumulated for all children) (KiB): 25971192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2963.51
system time used= 75.2012
maximum resident set size= 25971756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4149822
page faults= 1
swaps= 0
block input operations= 184
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246
involuntary context switches= 2679
# summary of solver processes directly reported to runsolver:
# pid: 840882
# total CPU time (s): 3038.71
# total CPU user time (s): 2963.51
# total CPU system time (s): 75.2012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7497 second user time and 30.4941 second system time
The end
Begin job on nodeC005 at 2024-07-16 08:34:58
IDJOB=4435980
IDBENCH=148706
IDSOLVER=3067
FILE ID=nodeC005/4435980-1721111686
RUNJOBID= nodeC005-1721104478-836653
SLURM_JOB_ID= 7505626
Free space on /tmp= 723760 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__64.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435980-1721111686/watcher-4435980-1721111686 -o /tmp/evaluation-result-4435980-1721111686/solver-4435980-1721111686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836653 --watchdog 3760 pb-oll-rs HOME/instance-4435980-1721111686.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f763b12660c46c190e6f60f61a3aa351
RANDOM SEED=2010204973
nodeC005.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 : 3609.916
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.53
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 : 3531.452
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.329
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.53
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.351
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 : 1996.755
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.53
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 : 3515.933
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.177
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.53
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.209
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: 124453676 kB
MemAvailable: 125972040 kB
Buffers: 385696 kB
Cached: 1958800 kB
SwapCached: 0 kB
Active: 697652 kB
Inactive: 5930536 kB
Active(anon): 3440 kB
Inactive(anon): 4317952 kB
Active(file): 694212 kB
Inactive(file): 1612584 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16732 kB
Writeback: 68 kB
AnonPages: 4279192 kB
Mapped: 109192 kB
Shmem: 37704 kB
KReclaimable: 103536 kB
Slab: 205284 kB
SReclaimable: 103536 kB
SUnreclaim: 101748 kB
KernelStack: 3936 kB
PageTables: 18056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4999640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3885056 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: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC005 at 2024-07-16 09:26:02