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