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