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