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