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