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