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