(1,28) (2,24) (3,14) (4,18) (5,6) (7,15) (8,16) (9,29) (10,17) (11,23) (12,19) (13,22) (20,21) (25,26) (27,30) 
nodes: 10201  conflicts: 38  modelTime: 1707  solveTime: 41048  totalTime: 42775  modelSize: 72277  readTime: 20 size: 15