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