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