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