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