(1,23) (2,26) (3,22) (4,17) (5,18) (6,27) (7,16) (8,29) (9,28) (10,30) (12,24) (13,21) (14,25) (15,19) 
nodes: 8620  conflicts: 13  modelTime: 654  solveTime: 17405  totalTime: 18065  modelSize: 41293  readTime: 5 size: 14