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