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