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