(1,25) (2,17) (4,18) (5,29) (6,23) (7,27) (8,30) (10,28) (11,19) (12,20) (13,26) (14,22) (15,24) 
nodes: 3674  conflicts: 42  modelTime: 663  solveTime: 4943  totalTime: 5613  modelSize: 41293  readTime: 7 size: 13