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