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