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