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