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