(1,10) (2,14) (3,20) (4,23) (5,11) (6,18) (7,17) (8,15) (9,30) (12,29) (13,25) (16,26) (21,22) (24,28) 
nodes: 220834  conflicts: 36  modelTime: 1702  solveTime: 1043145  totalTime: 1044865  modelSize: 72263  readTime: 18 size: 14