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