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