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