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