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