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