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