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