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