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