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