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