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