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