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