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