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