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