(1,19) (2,15) (3,10) (4,17) (5,22) (6,29) (7,27) (8,30) (9,11) (12,21) (13,28) (14,16) (18,20) (23,25) (24,26) 
nodes: 18178  conflicts: 43  modelTime: 1694  solveTime: 115992  totalTime: 117702  modelSize: 72265  readTime: 16 size: 15