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