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