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