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