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