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