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