(1,27) (2,16) (3,24) (4,28) (5,17) (6,25) (7,30) (8,20) (9,29) (10,26) (11,19) (12,23) (13,21) (14,18) (15,22) 
nodes: 4730  conflicts: 37  modelTime: 661  solveTime: 10737  totalTime: 11405  modelSize: 41293  readTime: 7 size: 15