(1,19) (2,18) (3,11) (4,27) (5,24) (6,13) (7,25) (8,20) (9,26) (10,15) (12,28) (14,30) (16,21) 
nodes: 1776  conflicts: 86  modelTime: 1332  solveTime: 6993  totalTime: 8346  modelSize: 72266  readTime: 21 size: 13