(1,11) (2,19) (3,30) (4,18) (5,10) (6,13) (7,20) (8,12) (9,27) (14,17) (15,22) (16,21) (23,28) (24,29) (25,26) 
nodes: 73234  conflicts: 42  modelTime: 931  solveTime: 149342  totalTime: 150289  modelSize: 72269  readTime: 16 size: 15