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