(1,21) (2,22) (3,27) (4,20) (5,25) (6,30) (7,28) (8,19) (9,23) (10,24) (12,26) (13,29) (14,18) (15,17) 
nodes: 8143  conflicts: 48  modelTime: 663  solveTime: 11981  totalTime: 12651  modelSize: 41298  readTime: 7 size: 14