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