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