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