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