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