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