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