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