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