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