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