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