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