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