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