(1,17) (2,29) (3,19) (5,23) (6,18) (7,24) (9,28) (10,26) (11,30) (12,20) (13,16) (14,27) (15,22) 
nodes: 4692  conflicts: 36  modelTime: 661  solveTime: 7360  totalTime: 8027  modelSize: 41292  readTime: 6 size: 13