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