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