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