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