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