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