(1,3) (2,16) (4,18) (5,21) (6,17) (7,25) (8,23) (9,20) (10,27) (11,14) (12,24) (13,26) (15,29) (19,22) (28,30) 
nodes: 2881  conflicts: 37  modelTime: 1707  solveTime: 12539  totalTime: 14265  modelSize: 72266  readTime: 19 size: 15