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