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