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