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