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