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