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