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