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