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