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