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