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