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