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