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