(1,3) (2,16) (4,26) (5,20) (6,18) (7,29) (8,22) (9,30) (10,28) (11,21) (12,19) (13,17) (14,15) (23,24) (25,27) 
nodes: 710  conflicts: 72  modelTime: 1706  solveTime: 4915  totalTime: 6642  modelSize: 72262  readTime: 21 size: 15