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