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