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