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