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