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