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