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