(1,29) (2,3) (4,26) (5,24) (6,23) (7,12) (8,19) (9,28) (10,11) (14,16) (15,27) (17,22) (18,20) (21,30) 
nodes: 3023  conflicts: 59  modelTime: 941  solveTime: 9509  totalTime: 10461  modelSize: 72262  readTime: 11 size: 14