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