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