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