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