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