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