(1,23) (2,20) (3,18) (4,17) (5,25) (6,27) (7,24) (8,30) (9,26) (10,29) (11,21) (12,19) (13,28) (14,22) (15,16) 
nodes: 2286  conflicts: 5  modelTime: 758  solveTime: 3344  totalTime: 4109  modelSize: 41292  readTime: 7 size: 15