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