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