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