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