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