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