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