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