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