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