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