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