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