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