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