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