(1,10) (2,21) (3,19) (4,20) (5,12) (6,30) (7,9) (8,22) (13,18) (14,25) (15,16) (23,26) (24,27) (28,29) 
nodes: 10995  conflicts: 79  modelTime: 1054  solveTime: 41129  totalTime: 42195  modelSize: 72262  readTime: 12 size: 14