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