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