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