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