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