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