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