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