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