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