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