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