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