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