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