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