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