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