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