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: 64059 MiB (57336 MiB free)
memory of node 1: 64510 MiB (54369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449883-1721843145/watcher-4449883-1721843145 -o /tmp/evaluation-result-4449883-1721843145/solver-4449883-1721843145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721843145-245245 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449883-1721843145 --seed=292447304 HOME/instance-4449883-1721843145.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=245299, runsolver pid=245290
[startup+0.100817 s]*
/proc/loadavg: 0.39 2.01 3.16 8/243 245306
/proc/meminfo: memFree=114370092/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=42440 memory=15564 CPUtime=0.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 3081 0 0 0 9 1 0 0 20 0 1 0 20303939 43458560 3891 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 10610 3891 738 747 0 9673 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42440 KiB
Current children cumulated memory: 15564 KiB
[startup+0.215561 s]*
/proc/loadavg: 0.39 2.01 3.16 8/243 245306
/proc/meminfo: memFree=114356336/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=43208 memory=21040 CPUtime=0.21 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 4796 0 0 0 19 2 0 0 20 0 1 0 20303939 44244992 5260 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 10802 5260 770 747 0 9865 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43208 KiB
Current children cumulated memory: 21040 KiB
[startup+0.315129 s]*
/proc/loadavg: 0.39 2.01 3.16 10/243 245306
/proc/meminfo: memFree=114350860/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=43208 memory=23616 CPUtime=0.31 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 4972 0 0 0 29 2 0 0 20 0 1 0 20303939 44244992 5904 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 10802 5904 770 747 0 9865 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43208 KiB
Current children cumulated memory: 23616 KiB
[startup+0.700273 s]
/proc/loadavg: 0.39 2.01 3.16 9/243 245306
/proc/meminfo: memFree=114355376/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=36036 memory=19400 CPUtime=0.68 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 4979 0 0 0 66 2 0 0 20 0 1 0 20303939 36900864 4850 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 9009 4850 770 747 0 8072 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36036 KiB
Current children cumulated memory: 19400 KiB
[startup+1.50029 s]
/proc/loadavg: 0.39 2.01 3.16 7/243 245306
/proc/meminfo: memFree=114344296/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=36036 memory=21448 CPUtime=1.48 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 4980 0 0 0 145 3 0 0 20 0 1 0 20303939 36900864 5362 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 9009 5362 770 747 0 8072 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36036 KiB
Current children cumulated memory: 21448 KiB
[startup+3.11371 s]
/proc/loadavg: 0.76 2.06 3.17 6/238 245333
/proc/meminfo: memFree=114310416/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=36036 memory=21448 CPUtime=3.08 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 4983 0 0 0 304 4 0 0 20 0 1 0 20303939 36900864 5362 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 9009 5362 770 747 0 8072 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36036 KiB
Current children cumulated memory: 21448 KiB
[startup+6.30023 s]
/proc/loadavg: 0.76 2.06 3.17 5/235 245338
/proc/meminfo: memFree=114266972/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=36036 memory=21448 CPUtime=6.27 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 4986 0 0 0 621 6 0 0 20 0 1 0 20303939 36900864 5362 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 9009 5362 770 747 0 8072 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36036 KiB
Current children cumulated memory: 21448 KiB
[startup+12.7002 s]
/proc/loadavg: 1.10 2.09 3.16 5/235 245340
/proc/meminfo: memFree=114172716/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=36764 memory=22216 CPUtime=12.64 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 5159 0 0 0 1255 9 0 0 20 0 1 0 20303939 37646336 5554 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 9191 5554 850 747 0 8254 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 36764 KiB
Current children cumulated memory: 22216 KiB
[startup+25.5003 s]
/proc/loadavg: 1.39 2.12 3.16 5/235 245341
/proc/meminfo: memFree=113956400/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=39112 memory=26604 CPUtime=25.42 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 5761 0 0 0 2526 16 0 0 20 0 1 0 20303939 40050688 6651 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 9778 6651 850 747 0 8841 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 39112 KiB
Current children cumulated memory: 26604 KiB
[startup+51.113 s]
/proc/loadavg: 2.02 2.21 3.16 5/235 245346
/proc/meminfo: memFree=113597424/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=41280 memory=30992 CPUtime=50.72 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 6331 0 0 0 5043 29 0 0 20 0 1 0 20303939 42270720 7748 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 23 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 10320 7748 850 747 0 9383 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 41280 KiB
Current children cumulated memory: 30992 KiB
[startup+102.3 s]
/proc/loadavg: 2.68 2.36 3.16 5/235 245354
/proc/meminfo: memFree=112953288/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=44296 memory=34100 CPUtime=100.24 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 7099 0 0 0 9973 51 0 0 20 0 1 0 20303939 45359104 8525 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 174 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 11074 8525 850 747 0 10137 0
Current children cumulated CPU time: 100.24 s
Current children cumulated vsize: 44296 KiB
Current children cumulated memory: 34100 KiB
[startup+162.3 s]
/proc/loadavg: 2.88 2.48 3.15 5/236 245366
/proc/meminfo: memFree=112201948/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=46624 memory=36332 CPUtime=158.81 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 7694 0 0 0 15803 78 0 0 20 0 1 0 20303939 47742976 9083 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 301 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 11656 9083 850 747 0 10719 0
Current children cumulated CPU time: 158.81 s
Current children cumulated vsize: 46624 KiB
Current children cumulated memory: 36332 KiB
[startup+222.3 s]
/proc/loadavg: 3.07 2.61 3.15 5/235 245376
/proc/meminfo: memFree=111410656/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=48972 memory=40692 CPUtime=218.46 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 8316 0 0 0 21743 103 0 0 20 0 1 0 20303939 50147328 10173 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 323 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12243 10173 850 747 0 11306 0
Current children cumulated CPU time: 218.46 s
Current children cumulated vsize: 48972 KiB
Current children cumulated memory: 40692 KiB
[startup+282.3 s]
/proc/loadavg: 3.13 2.71 3.15 4/237 245390
/proc/meminfo: memFree=110649156/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=50524 memory=42220 CPUtime=278.04 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 8707 0 0 0 27675 129 0 0 20 0 1 0 20303939 51736576 10555 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 349 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12631 10555 850 747 0 11694 0
Current children cumulated CPU time: 278.04 s
Current children cumulated vsize: 50524 KiB
Current children cumulated memory: 42220 KiB
[startup+342.3 s]
/proc/loadavg: 3.09 2.78 3.14 5/237 245402
/proc/meminfo: memFree=109886872/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51372 memory=43208 CPUtime=337.77 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 8935 0 0 0 33619 158 0 0 20 0 1 0 20303939 52604928 10802 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 359 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12843 10802 850 747 0 11906 0
Current children cumulated CPU time: 337.77 s
Current children cumulated vsize: 51372 KiB
Current children cumulated memory: 43208 KiB
[startup+402.3 s]
/proc/loadavg: 3.09 2.84 3.14 5/237 245412
/proc/meminfo: memFree=109179632/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=52492 memory=44192 CPUtime=396.35 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 9249 0 0 0 39455 180 0 0 20 0 1 0 20303939 53751808 11048 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 486 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 13123 11048 850 747 0 12186 0
Current children cumulated CPU time: 396.35 s
Current children cumulated vsize: 52492 KiB
Current children cumulated memory: 44192 KiB
[startup+462.3 s]
/proc/loadavg: 3.08 2.89 3.13 5/237 245422
/proc/meminfo: memFree=108467996/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=53644 memory=45444 CPUtime=455.96 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 9530 0 0 0 45392 204 0 0 20 0 1 0 20303939 54931456 11361 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 508 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 13411 11361 850 747 0 12474 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 3.11 3.10 3.09 5/238 247126
/proc/meminfo: memFree=76065180/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=68344 memory=63764 CPUtime=3239.17 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 14706 0 0 0 322496 1421 0 0 20 0 1 0 20303939 69984256 15941 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3408 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 17086 15941 850 747 0 16149 0
Current children cumulated CPU time: 3239.17 s
Current children cumulated vsize: 68344 KiB
Current children cumulated memory: 63764 KiB
[startup+3342.3 s]
/proc/loadavg: 3.47 3.21 3.13 5/238 247137
/proc/meminfo: memFree=75366888/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=68984 memory=64360 CPUtime=3298.7 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 14900 0 0 0 328421 1449 0 0 20 0 1 0 20303939 70639616 16090 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3438 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 17246 16090 850 747 0 16309 0
Current children cumulated CPU time: 3298.7 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 64360 KiB
[startup+3402.3 s]
/proc/loadavg: 3.52 3.28 3.16 5/238 247147
/proc/meminfo: memFree=74675940/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=68984 memory=64516 CPUtime=3358.02 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 14941 0 0 0 334328 1474 0 0 20 0 1 0 20303939 70639616 16129 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3493 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 17246 16129 850 747 0 16309 0
Current children cumulated CPU time: 3358.02 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 64516 KiB
[startup+3462.3 s]
/proc/loadavg: 3.25 3.24 3.15 5/238 247158
/proc/meminfo: memFree=73993228/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=68984 memory=64516 CPUtime=3417.54 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 14968 0 0 0 340253 1501 0 0 20 0 1 0 20303939 70639616 16129 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3527 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 17246 16129 850 747 0 16309 0
Current children cumulated CPU time: 3417.54 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 64516 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.21 3.15 5/238 247169
/proc/meminfo: memFree=73271584/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=68984 memory=64516 CPUtime=3477.12 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 14996 0 0 0 346182 1530 0 0 20 0 1 0 20303939 70639616 16129 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3555 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 17246 16129 850 747 0 16309 0
Current children cumulated CPU time: 3477.12 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 64516 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.20 3.15 5/235 247179
/proc/meminfo: memFree=72601048/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=82116 memory=66616 CPUtime=3536.74 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 15260 0 0 0 352123 1551 0 0 20 0 1 0 20303939 84086784 16654 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3578 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 20529 16654 850 747 0 19592 0
Current children cumulated CPU time: 3536.74 s
Current children cumulated vsize: 82116 KiB
Current children cumulated memory: 66616 KiB
[startup+3642.3 s]
/proc/loadavg: 2.83 3.11 3.12 2/227 247221
/proc/meminfo: memFree=80840800/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=82116 memory=66616 CPUtime=3596.28 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 15287 0 0 0 358050 1578 0 0 20 0 1 0 20303939 84086784 16654 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3609 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 20529 16654 850 747 0 19592 0
Current children cumulated CPU time: 3596.28 s
Current children cumulated vsize: 82116 KiB
Current children cumulated memory: 66616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3646.11 s]
/proc/loadavg: 2.83 3.11 3.12 3/223 247247
/proc/meminfo: memFree=94632124/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=82116 memory=66616 CPUtime=3600.09 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) R 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1580 0 0 20 0 1 0 20303939 84086784 16654 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3609 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 20529 16654 850 747 0 19592 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 82116 KiB
Current children cumulated memory: 66616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 2.69 3.08 3.11 1/222 247254
/proc/meminfo: memFree=95552088/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51920 memory=47372 CPUtime=3600.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) D 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1581 0 0 20 0 1 0 20303939 53166080 11843 134679101440 4194304 7250417 140733896060976 0 0 256 0 0 8404994 0 0 0 17 1 0 0 3611 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12980 11843 850 747 0 12043 0
??? kill 245299 sig 9
??? end of watcher thread
[startup+3648.82 s]
# the end of solver process 245299 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3584.29 s, system=15.8134 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3646.4 s]
/proc/loadavg: 2.83 3.11 3.12 3/223 247247
/proc/meminfo: memFree=94632124/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51920 memory=47372 CPUtime=3600.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) D 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1581 0 0 20 0 1 0 20303939 53166080 11843 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3611 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12980 11843 850 747 0 12043 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 51920 KiB
Current children cumulated memory: 47372 KiB
[startup+3647.2 s]
/proc/loadavg: 2.69 3.08 3.11 1/222 247254
/proc/meminfo: memFree=95551796/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51920 memory=47372 CPUtime=3600.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) D 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1581 0 0 20 0 1 0 20303939 53166080 11843 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3611 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12980 11843 850 747 0 12043 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 51920 KiB
Current children cumulated memory: 47372 KiB
[startup+3647.6 s]
/proc/loadavg: 2.69 3.08 3.11 1/222 247254
/proc/meminfo: memFree=95551796/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51920 memory=47372 CPUtime=3600.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) D 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1581 0 0 20 0 1 0 20303939 53166080 11843 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3611 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12980 11843 850 747 0 12043 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 51920 KiB
Current children cumulated memory: 47372 KiB
[startup+3648 s]*
/proc/loadavg: 2.69 3.08 3.11 1/222 247254
/proc/meminfo: memFree=95552088/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51920 memory=47372 CPUtime=3600.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) D 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1581 0 0 20 0 1 0 20303939 53166080 11843 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3611 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12980 11843 850 747 0 12043 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 51920 KiB
Current children cumulated memory: 47372 KiB
[startup+3648.11 s]
/proc/loadavg: 2.69 3.08 3.11 1/222 247254
/proc/meminfo: memFree=95552088/131655788 swapFree=131061124/131071996
[pid=245299] ppid=245290 vsize=51920 memory=47372 CPUtime=3600.1 cores=1,3
/proc/245299/stat : 245299 (Exact_veripb2_n) D 245290 245299 245233 0 -1 4194304 15287 0 0 0 358429 1581 0 0 20 0 1 0 20303939 53166080 11843 134679101440 4194304 7250417 140733896060976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3611 0 0 7950792 8015128 14344192 140733896069947 140733896070235 140733896070235 140733896077246 0
/proc/245299/statm: 12980 11843 850 747 0 12043 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 51920 KiB
Current children cumulated memory: 47372 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3648.82
CPU time (s): 3600.1
CPU user time (s): 3584.29
CPU system time (s): 15.8134
CPU usage (%): 98.6648
Max. virtual memory (cumulated for all children) (KiB): 82116
Max. memory (cumulated for all children) (KiB): 66616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.29
system time used= 15.8134
maximum resident set size= 83672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37487664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 601
involuntary context switches= 8585
# summary of solver processes directly reported to runsolver:
# pid: 245299
# total CPU time (s): 3600.1
# total CPU user time (s): 3584.29
# total CPU system time (s): 15.8134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6605 second user time and 35.3416 second system time
The end
Begin job on nodeC005 at 2024-07-24 19:45:45
IDJOB=4449883
IDBENCH=176150
IDSOLVER=3080
FILE ID=nodeC005/4449883-1721843145
RUNJOBID= nodeC005-1721843145-245245
SLURM_JOB_ID= 7891581
Free space on /tmp= 723780 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449883-1721843145/watcher-4449883-1721843145 -o /tmp/evaluation-result-4449883-1721843145/solver-4449883-1721843145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721843145-245245 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449883-1721843145 --seed=292447304 HOME/instance-4449883-1721843145.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb
RANDOM SEED=292447304
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 : 1197.120
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.114
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.31
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.121
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.14
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.121
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.31
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.115
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.14
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.120
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.31
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 : 1278.082
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.14
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 : 1223.238
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114387844 kB
MemAvailable: 129963756 kB
Buffers: 268200 kB
Cached: 16083096 kB
SwapCached: 620 kB
Active: 2516276 kB
Inactive: 14094384 kB
Active(anon): 1488 kB
Inactive(anon): 311196 kB
Active(file): 2514788 kB
Inactive(file): 13783188 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061124 kB
Dirty: 20608 kB
Writeback: 0 kB
AnonPages: 258952 kB
Mapped: 117712 kB
Shmem: 53264 kB
KReclaimable: 235936 kB
Slab: 346960 kB
SReclaimable: 235936 kB
SUnreclaim: 111024 kB
KernelStack: 3680 kB
PageTables: 9672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 677424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 406344 kB
DirectMap2M: 45635584 kB
DirectMap1G: 90177536 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-24 20:46:34