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