limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Use more than 48 cores on Euler #21

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

Whenever I try to run something on Euler on more than 48 cores I get the following error message:

virtual.40d: Queue has been closed. Job not submitted.

Weird...

Here's the full output of main.py:

please enter your nethz_account name : ebjan
Euler parameters:
           num_nodes: [16, 64, 128]
            num_runs: 4
             timeout: 15 [seconds]
 max_overall_runtime: 240 [minutes]
         test_folder: 3-sat_instances_medium
ebjan@euler.ethz.ch's password: *
to_euler.tar                                                                      100% 1860KB   1.8MB/s   00:00    
Pseudo-terminal will not be allocated because stdin is not a terminal.
ebjan@euler.ethz.ch's password: *
Generic job.
virtual.40d: Queue has been closed. Job not submitted.
#########################################################
unpacking tar archive...
calling run_me_on_euler.sh...
#########################################################
run_me_on_euler.sh is taking over
including necessary modules...
node counts: 16 64 128
choosing highest node count: 128
submitting compilation and run job to the batch system...
an error occurred during job submission, exiting
#########################################################
limo1996 commented 6 years ago

Did Salvatore reply to you?