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