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