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