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