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