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