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