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