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