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