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