(2,25) (3,18) (4,16) (6,29) (8,19) (9,23) (10,26) (11,28) (12,20) (13,30) (14,17) (15,22) 
nodes: 1322  conflicts: 49  modelTime: 1203  solveTime: 2104  totalTime: 3316  modelSize: 41293  readTime: 9 size: 12