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