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