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