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