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