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