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