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