Hanging test timeout is ignored by Symbolic execution #1095

public class A {

    public int hangForSeconds(int seconds) {
        for (int i = 1; i < seconds; i++) {
            try {
                Thread.sleep(1001);
            } catch (InterruptedException e) {
                throw new RuntimeException(e);
            }
        }
        return seconds;
    }
}

public class ATest {
    ///region Test suites for executable org.example.A.hangForSeconds

    ///region SYMBOLIC EXECUTION: SUCCESSFUL EXECUTIONS for method hangForSeconds(int)

    /**
     * <pre>
     * Test iterates the loop {@code for(int i = 1; i < seconds; i++) } once.
     * Test afterwards returns from: {@code return seconds; }
     * </pre>
     */
    @Test
    @DisplayName("hangForSeconds: ThreadSleep -> return seconds")
    public void testHangForSeconds_ThreadSleep() {
        A a = new A();

        int actual = a.hangForSeconds(2);

        assertEquals(2, actual);
    }
    ///endregion

    ///region FUZZER: SUCCESSFUL EXECUTIONS for method hangForSeconds(int)

    @Test
    @DisplayName("hangForSeconds: seconds > 0 -> return 1")
    public void testHangForSecondsReturnsOne() {
        A a = new A();

        int actual = a.hangForSeconds(1);

        assertEquals(1, actual);
    }
    ///endregion

    ///region FUZZER: EXPLICITLY_THROWN_UNCHECKED_EXCEPTIONS for method hangForSeconds(int)

    @Test
    @DisplayName("hangForSeconds: seconds = 134217729 (mutated from 1)")
    @Timeout(value = 1000L, unit = TimeUnit.MILLISECONDS)
    public void testHangForSeconds() {
        A a = new A();
        
        /* This execution may take longer than the 1000 ms timeout
         and therefore fail due to exceeding the timeout. */
        assertTimeoutPreemptively(Duration.ofMillis(1000L), () -> a.hangForSeconds(134217729));
    }
    ///endregion

    ///endregion
}

Exception in thread "executor" java.lang.IllegalMonitorStateException
	at java.util.concurrent.locks.ReentrantLock$Sync.tryRelease(ReentrantLock.java:151)
	at java.util.concurrent.locks.AbstractQueuedSynchronizer.release(AbstractQueuedSynchronizer.java:1261)
	at java.util.concurrent.locks.ReentrantLock.unlock(ReentrantLock.java:457)
	at java.util.concurrent.ArrayBlockingQueue.take(ArrayBlockingQueue.java:406)
	at org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:46)
	at org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:43)
	at kotlin.concurrent.ThreadsKt$thread$thread$1.run(Thread.kt:30)