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