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