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