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