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