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