(1,13) (2,10) (3,21) (4,15) (5,26) (6,18) (7,11) (8,9) (12,29) (14,27) (16,19) (17,20) (22,23) (24,25) (28,30) 
nodes: 113397  conflicts: 20  modelTime: 1701  solveTime: 695247  totalTime: 697041  modelSize: 72264  readTime: 93 size: 15