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