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