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