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