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