(1,25) (2,26) (3,10) (4,24) (5,19) (6,29) (7,12) (9,16) (11,18) (13,20) (14,15) (21,28) (22,30) (23,27) 
nodes: 31742  conflicts: 63  modelTime: 958  solveTime: 120587  totalTime: 121556  modelSize: 72263  readTime: 11 size: 14