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