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