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