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