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