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