(1,29) (2,23) (3,17) (4,20) (5,30) (6,25) (7,22) (8,28) (10,24) (11,16) (12,27) (13,26) (14,19) (15,18) 
nodes: 6111  conflicts: 33  modelTime: 658  solveTime: 11430  totalTime: 12093  modelSize: 41292  readTime: 5 size: 14