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