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