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