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