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