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