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