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