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