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