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