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