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