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