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