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