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