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