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