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