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