(1,17) (2,28) (3,30) (4,20) (7,27) (8,22) (9,19) (10,21) (11,23) (12,25) (13,29) (14,26) (15,18) 
nodes: 3604  conflicts: 35  modelTime: 655  solveTime: 5464  totalTime: 6125  modelSize: 41293  readTime: 6 size: 13