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