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