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