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