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