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