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