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