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