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