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