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