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